The z3 package

[Tags: bsd3, library]

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:


Properties

Versions0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2
Dependenciesbase (>3 && <5), containers, mtl
LicenseBSD3
Copyright2012, Iago Abal, David Castro
AuthorIago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
MaintainerIago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
CategoryMath, Theorem Provers, Formal Methods
Home pagehttp://bitbucket.org/iago/z3-haskell
Source repositoryhead: hg clone https://bitbucket.org/iago/z3-haskell
Upload dateTue Dec 18 11:14:48 UTC 2012
Uploaded byIagoAbal
Downloads363 total (30 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees