The latest version of z3 is 408.2-0.
z3
Version 0.2.0 revision 0 uploaded by IagoAbal.
Package meta
- Synopsis
- Bindings for the Z3 Theorem Prover
- Description
Bindings for the Z3 Theorem Prover.
This package is still a work in progress. Low and medium-level bindings to the Z3 API are provided (Z3.Base.C and Z3.Base) in the spirit of yices-painless. These APIs are still incomplete but usable. The high-level API (Z3.Lang) 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 appropriate Cabal flags.
Haddock documentation: http://www.iagoabal.eu/z3-haskell/doc
More information about Z3:
- Author
- Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
- Bug reports
- n/a
- Category
- Math, Theorem Provers, Formal Methods
- Copyright
- 2012, Iago Abal, David Castro
- Homepage
- http://bitbucket.org/iago/z3-haskell
- Maintainer
- Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
- Package URL
- n/a
- Stability
- n/a