@hackage / hz3

Bindings for the Z3 Theorem Prover

Version Deprecated package96.0.0.0

About

Metadata

  • Last updated , by MatthewFarkasDyck
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: None

  • Lottery factor: 0

Links

Installation

This package has been deprecated

Package Flags

Use the -f option with cabal commands to enable flags

    examples (off by default)

    Build examples.

Readme

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.

Examples: https://github.com/strake/z3.hs/tree/master/examples

Changelog: https://github.com/strake/z3.hs/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.)