The z3 package

[Tags: bsd3, library]

Bindings for the Z3 Theorem Prover (

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:


Versions0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 4.0.0, 4.1.0
Change logNone available
Dependenciesbase (>3 && <5), containers, mtl (<2.1 || >2.1) [details]
Copyright2012-2013, Iago Abal, David Castro
AuthorIago Abal <>, David Castro <>
MaintainerIago Abal <>, David Castro <>
CategoryMath, Theorem Provers, Formal Methods
Home page
Source repositoryhead: hg clone
UploadedTue Jun 25 16:30:38 UTC 2013 by IagoAbal
Downloads1432 total (12 in last 30 days)
1 []
StatusDocs uploaded by user [build log]
All reported builds failed [all 2 reports]




Maintainers' corner

For package maintainers and hackage trustees