The z3 package

[Tags: bsd3, library]

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:

A changelog is available at https://bitbucket.org/iago/z3-haskell/src/tip/CHANGES.md


Properties

Versions0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2
Dependenciesbase (>3 && <5), containers, mtl (<2.1) or
base (>3 && <5), containers, mtl (>2.1)
LicenseBSD3
Copyright2012-2014, Iago Abal, David Castro
AuthorIago Abal <mail@iagoabal.eu>, David Castro <david.castro.dcp@gmail.com>
MaintainerIago Abal <mail@iagoabal.eu>, David Castro <david.castro.dcp@gmail.com>
CategoryMath, SMT, Theorem Provers, Formal Methods
Home pagehttp://bitbucket.org/iago/z3-haskell
Source repositoryhead: hg clone https://bitbucket.org/iago/z3-haskell
Upload dateFri Mar 21 21:26:24 UTC 2014
Uploaded byIagoAbal
Downloads268 total (64 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees