1The sbv library can be installed simply by issuing cabal install
2like this:
3
4     cabal install sbv
5
6SBV relies on an external SMT solver to be installed. We currently support
7ABC, Boolector, CVC4, MathSAT, Yices, and Z3. We recommend installing the
8freely available z3 SMT solver from Microsoft, the default solver used
9by SBV. You can get it from <http://github.com/Z3Prover/z3>.
10
11Please make sure that the "z3" executable is in your path.
12