Browse files


  • Loading branch information...
1 parent 1942bbe commit 8a4296179e237fef57ce9e1de0a3a19b482d0435 @LeventErkok committed Feb 14, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 INSTALL
@@ -11,9 +11,9 @@ The installation will also put a binary named
in your .cabal/bin directory (or wherever you installed it.) It's
highly recommended that you run this program to ensure everything
is working correctly. In particular, you will first need to install
-Yices, the default SMT solver used by sbv, from SRI. (You can get it
-from Please make sure that the "yices"
-executable is in your path.
+Z3, the default SMT solver used by sbv, from Microsoft. (You can get it
+Please make sure that the "z3" executable is in your path.
Once you have installed sbv, you can use it in your Haskell programs
by simply importing the Data.SBV module.

0 comments on commit 8a42961

Please sign in to comment.