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]
|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||323 total (5 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user [build log]
All reported builds failed as of 2019-10-01 [all 3 reports]
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'.
For package maintainers and hackage trustees