z3: 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.
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.
|Versions||0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 4.0.0, 4.1.0, 4.1.1, 4.1.2, 4.2.0, 4.3, 4.3.1|
|Dependencies||base (>3 && <5), containers, mtl (<2.1 || >2.1) [details]|
|Copyright||2012-2013, Iago Abal, David Castro|
|Author||Iago Abal <email@example.com>, David Castro <firstname.lastname@example.org>|
|Maintainer||Iago Abal <email@example.com>, David Castro <firstname.lastname@example.org>|
|Category||Math, Theorem Provers, Formal Methods|
|Source repo||head: hg clone https://bitbucket.org/iago/z3-haskell|
|Uploaded||by IagoAbal at Tue Jun 25 16:30:38 UTC 2013|
|Downloads||3289 total (91 in the last 30 days)|
|Rating||2.0 (votes: 1) [estimated by rule of succession]|
|Status||Docs uploaded by user [build log]
All reported builds failed [all 2 reports]
Hackage Matrix CI
For package maintainers and hackage trustees