@hackage z30.1.1

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.Monad) is still very experimental.

More information about Z3:

http://research.microsoft.com/en-us/um/redmond/projects/z3/

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

@hackage z30.1.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (2)