Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 20 lines (14 sloc) 0.742 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
The sbv library can be installed simply by issuing cabal install
like this:

     cabal install sbv

Once the installation is done, you will get the Data.SBV library.
The installation will also put a binary named

     SBVUnitTests

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
Z3, the default SMT solver used by sbv, from Microsoft. (You can get it
from http://research.microsoft.com/en-us/um/redmond/projects/z3/.)
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.
Something went wrong with that request. Please try again.