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.
A simple but convenient wrapper for Z3.Base is provided by Z3.Monad.
The Z3.Lang API provides a high-level interface to Z3, but it is still very experimental and likely to change.
Important notes:
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 z3 dependency.
Haddock documentation can be found at http://www.iagoabal.eu/z3-haskell/doc/0.3.0
Downloads
- z3-0.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 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, 408.0, 408.1, 408.2 |
|---|---|
| Dependencies | base (>3 && <5), containers, mtl (<2.1 || >2.1) [details] |
| License | BSD-3-Clause |
| Copyright | 2012-2013, Iago Abal, David Castro |
| Author | Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com> |
| Maintainer | Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com> |
| Category | Math, Theorem Provers, Formal Methods |
| Home page | http://bitbucket.org/iago/z3-haskell |
| Source repo | head: hg clone https://bitbucket.org/iago/z3-haskell |
| Uploaded | by IagoAbal at 2013-03-25T00:13:21Z |
| Distributions | NixOS:408.2 |
| Reverse Dependencies | 6 direct, 0 indirect [details] |
| Downloads | 11196 total (6 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user [build log] All reported builds failed [all 1 reports] |