The latest version of z3 is 408.2-0.

z3

Version 4.1.0 revision 0 uploaded by IagoAbal.

Package meta

Synopsis
Bindings for the Z3 Theorem Prover
Description

Bindings for the (now open source!) 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://bitbucket.org/iago/z3-haskell/src/tip/examples

Changelog: https://bitbucket.org/iago/z3-haskell/src/tip/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
n/a
Category
Math, SMT, Theorem Provers, Formal Methods, Bit vectors
Copyright
2012-2015, Iago Abal, David Castro
Homepage
http://bitbucket.org/iago/z3-haskell
Maintainer
Iago Abal <mail@iagoabal.eu>
Package URL
n/a
Stability
n/a

Components