The z3 package

Low-level bindings to the Z3 API are provided by Z3.Base, this API is
still incomplete but pretty much stable.

A simple but convenient wrapper for Z3.Base is provided by Z3.Monad.

The Z3.Lang API provides a high-level interface to Z3, but it is still
very experimental and likely to change.

Important notes:

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 fails to compile this package because of the (unsatisfied) libz3
dependency.