@hackage z30.2.0

Bindings for the Z3 Theorem Prover

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Links
Versions
- 408.2 Sat, 29 Aug 2020
- 408.1 Thu, 16 Jan 2020
- 408.0 Sun, 31 Mar 2019
- 4.3.1 Sun, 13 May 2018
- 4.3 Sun, 29 Apr 2018
- 4.2.0 Sat, 17 Feb 2018

Bindings for the Z3 Theorem Prover.

This package is still a work in progress. Low and medium-level bindings to the Z3 API are provided (Z3.Base.C and Z3.Base) in the spirit of yices-painless. These APIs are still incomplete but usable. The high-level API (Z3.Lang) is still very experimental and likely to change.

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 appropriate Cabal flags.

Haddock documentation: http://www.iagoabal.eu/z3-haskell/doc

More information about Z3:

http://z3.codeplex.com

Installation
In your cabal file:
Dependencies (0)
Dependents (2)
@hackage/ez3, @hackage/expressions-z3

@hackage z30.2.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (2)