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 30, 2017.
  * Boolector:
      * http://fmv.jku.at/boolector/
      * Version 2.4.1
  * 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.2
  * Z3:
      * http://github.com/Z3Prover/z3
      * Version as downloaded from the above site on Jul 30, 2016.

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 30, 2017.
  * Boolector:
      * http://fmv.jku.at/boolector/
      * Version 2.4.1
  * CVC4:
      * http://cvc4.cs.nyu.edu/web/
      * Version 1.4
  * MathSAT:
      * http://mathsat.fbk.eu/
      * Version 5.4.0
  * Yices:
      * http://yices.csl.sri.com/
      * Version 2.5.2
  * Z3:
      * http://github.com/Z3Prover/z3
      * Version as downloaded from the above site on Jul 30, 2016.

Update tested version of MathSAT
Update tested version of MathSAT
