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:
      * https://bitbucket.org/alanmi/abc
      * Version 1.01
      * Last tested: April 27, 2015
      * Note: SMT-Lib support in ABC is fairly new. SBV uses the latest from the repo above.
  * Boolector:
      * http://fmv.jku.at/boolector/
      * Version 2.0.7
      * Last tested: May 27, 2015
  * CVC4:
      * TBD
  * MathSAT:
      * TBD
  * Yices:
      * TBD
  * Z3:
      * https://github.com/Z3Prover/z3
      * Version 4.4.0
      * Last tested: May 30, 2015
      * Note: For floating-point logic, SBV uses the unstable-branch

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:
      * https://bitbucket.org/alanmi/abc
      * Version 1.01
      * Last tested: April 27, 2015
      * Note: SMT-Lib support in ABC is fairly new. SBV uses the latest from the repo above.
  * Boolector:
      * http://fmv.jku.at/boolector/
      * Version 2.0.7
      * Last tested: May 27, 2015
  * CVC4:
      * http://cvc4.cs.nyu.edu/web/
      * Version 1.4
      * Last tested: May 31, 2015
  * MathSAT:
      * TBD
  * Yices:
      * TBD
  * Z3:
      * https://github.com/Z3Prover/z3
      * Version 4.4.0
      * Last tested: May 30, 2015
      * Note: For floating-point logic, SBV uses the unstable-branch

Add a note about CVC4 version
Add a note about CVC4 version
