SBV has been tested with the following versions of the SMT solvers. While we strive to make sure it works with latest releases of each of these tools, newer versions can exhibit issues. Please report any issues you might see with newer releases.
- ABC:
- http://bitbucket.org/alanmi/abc
- Version as downloaded from the above site on Jan 6, 2016.
- NB. Version downloaded on Jul 30, 2016 from the above site has a bug, see here: https://bitbucket.org/alanmi/abc/issues/58/smtlib-interface-is-broken So, you might want to pick something earlier. (It is not clear when the breakage happened between Jan 6 to Jul 30, however.)
- Boolector:
- http://fmv.jku.at/boolector/
- Version 2.4.0
- CVC4:
- http://cvc4.cs.nyu.edu/web/
- Version 1.4
- MathSAT:
- http://mathsat.fbk.eu/
- Version 5.3.14
- Yices:
- http://yices.csl.sri.com/
- Version 2.5.1
- Z3:
- http://github.com/Z3Prover/z3
- Version as downloaded from the above site on Jul 30, 2016.