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