hz3: Bindings for the Z3 Theorem Prover
Fork of z3 with future-proof version-numbering scheme
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3).
Z3.Base.C provides the raw foreign imports from Z3's C API.
Z3.Base does the marshaling of values between Haskell and C, and transparently handles reference counting of Z3 objects for you.
Z3.Monad provides a convenient monadic wrapper for the common usage scenario.
Unix-like: Just be sure to use the standard locations for dynamic libraries (/usr/lib) and header files (/usr/include), or else use the --extra-lib-dirs and --extra-include-dirs Cabal flags.
(Hackage reports a build failure because Z3's library is missing.)
[Skip to Readme]
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
|Dependencies||base (>=4.5 && <5), containers, transformers (>=0.2) [details]|
|Copyright||2012-2018, Iago Abal, David Castro|
|Author||Iago Abal <email@example.com>, David Castro <firstname.lastname@example.org>|
|Revised||Revision 3 made by MatthewFarkasDyck at 2020-03-13T20:44:49Z|
|Category||Math, SMT, Theorem Provers, Formal Methods, Bit vectors|
|Source repo||head: git clone https://github.com/strake/z3.hs|
|Uploaded||by MatthewFarkasDyck at 2019-10-01T01:07:27Z|
|Downloads||546 total (3 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user [build log]
All reported builds failed as of 2019-10-01 [all 3 reports]