Hackage :: [Package]

Metadata revisions for z3-4.3

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (z3-4.3-r1) 2018-04-29T11:19:42Z IagoAbal eb295ebd3facc4d1d8d52e3f98ff1a1704a80184b53ef5cb2c90a88cb106ef6a

  • Changed description from 

    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.)
    to 
    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.)

NOTE: Don't enable flag /examples/, it is broken in this release.
-r0 (z3-4.3-r0) 2018-04-29T10:43:01Z IagoAbal dd6c9091c5ec784083870264310de90dc3e4f331845306e13faaf3ee8e1e3b4d