name: z3
description: Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3).

Z3.Base.C provides the raw foreign imports from Z3&#39;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&#39;s library is missing.)
license_spdx: BSD-3-Clause
version: 408.2
spec_version: 1.0
download_url: http://hackage.haskell.org/package/z3-408.2/z3-408.2.tar.gz
home_url: 
                https://github.com/IagoAbal/haskell-z3
              
news_url: https://libraries.io/hackage/z3/versions.atom
date: 2023-12-02
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/z3?number=408.2
vcs_tool: git
vcs_repository: https://github.com/IagoAbal/haskell-z3
vcs_branch: master
