QMaxUSE v1.0.1

classicwuhao released this 04 Jan 16:58

· 46 commits to master since this release

v1.0.1 release

Changes:

Fix bugs of non-empty axioms for non-abstract classes.
Remove auto-generated smt2 files.
Add upward and downward modifiers.
Add cvc5 for ubuntu-release (experimental).
Enable switch between z3 and cvc5.

New Features:

Use upward / downward modifier to select all parent/child classes of a specified class.
Use command set-solver: <solver name> to switch between z3 and cvc5. This applies to a single query and concurrent verification.

Assets 6