Skip to content

v3.0.0
Compare
Choose a tag to compare
@as3810t as3810t released this 29 Sep 09:36
· 2693 commits to master since this release
v3.0.0
8216d47
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release introduces alpha support for generic SMT-LIB compatible SMT solvers. Currently supported solvers are: Z3, MathSAT, CVC4, Yices2, Princess, SMTInterpol and Boolector. The support also includes interpolation support. For more information see the project page.

The release introduces theta-solver-smtlib-cli.jar that is a CLI to manage the different versions of solvers installed (see). The new solvers are only available on Linux and for the CFA frontend right now. The new solvers can be used by configuring the --solver, --abstraction-solver or --refinement-solver option of the theta-cfa-cli.jar tool (see).

Assets 7
Loading