z3-0.3.1: Bindings for the Z3 Theorem Prover
Bindings for the Z3 Theorem Prover (http://z3.codeplex.com).
Low-level bindings to the Z3 API are provided by Z3.Base, this API is still incomplete but pretty much stable.
The Z3.Lang API provides a high-level interface to Z3, but it is still very experimental and likely to change.
For examples of use, take a look to the examples folder in the repository.
- Installation (Unix-like): Just be sure to use the standard locations for dynamic libraries (/usr/lib) and header files (/usr/include), or else use the --extra-lib-dirs and --extra-include-dirs Cabal flags.
- Hackage fails to compile this package because of the (unsatisfied) libz3 dependency.
- Haddock documentation can be found at http://www.iagoabal.eu/z3-haskell/doc/0.3.1.