Skip to content

QMaxUSE v1.0.2

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

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
Assets 6
Loading