Skip to content

QMaxUSE v1.0.2

Latest
Compare
Choose a tag to compare
@classicwuhao classicwuhao released this 14 Mar 12:41
· 21 commits to master since this release

QMaxUSE v1.0.2 [14-Mar-2022]

  • Changes:
    • Enable verification on abstract classes
    • Add additional axioms for abstract classes selection
    • Add cvc5 support for macOS release