The z3 package

[Tags: bsd3, library]

Bindings for the (now open source!) Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3).

Examples: https://bitbucket.org/iago/z3-haskell/src/tip/examples

Changelog: https://bitbucket.org/iago/z3-haskell/src/tip/CHANGES.md

Installation:

(Hackage reports a build failure because Z3's library is missing.)


Properties

Versions0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 4.0.0
Dependenciesbase (>=4.5 && <5), containers, mtl (>2.1), z3 (>=0.4)
LicenseBSD3
Copyright2012-2015, Iago Abal, David Castro
AuthorIago Abal <mail@iagoabal.eu>, David Castro <david.castro.dcp@gmail.com>
MaintainerIago Abal <mail@iagoabal.eu>
CategoryMath, SMT, Theorem Provers, Formal Methods, Bit vectors
Home pagehttp://bitbucket.org/iago/z3-haskell
Source repositoryhead: hg clone https://bitbucket.org/iago/z3-haskell
Executablesexamples
UploadedSat Apr 11 13:24:12 UTC 2015 by IagoAbal
DistributionsNixOS:4.0.0
Downloads858 total (88 in last 30 days)
StatusDocs uploaded by user [build log]
All reported builds failed as of 2015-04-11 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefault
examplesBuild examples.Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees