z3
Version 4.3.1 revision 0 uploaded by IagoAbal.
Package meta
- Synopsis
- Bindings for the Z3 Theorem Prover
- Description
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.
Examples: https://github.com/IagoAbal/haskell-z3/tree/master/examples
Changelog: https://github.com/IagoAbal/haskell-z3/blob/master/CHANGES.md
Installation:
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.)
- Author
- Iago Abal <mail@iagoabal.eu>, David Castro <david.castro.dcp@gmail.com>
- Bug reports
- https://github.com/IagoAbal/haskell-z3/issues
- Category
- Math, SMT, Theorem Provers, Formal Methods, Bit vectors
- Copyright
- 2012-2018, Iago Abal, David Castro
- Homepage
- https://github.com/IagoAbal/haskell-z3
- Maintainer
- Iago Abal <mail@iagoabal.eu>
- Package URL
- n/a
- Stability
- n/a