@hackage smtlib20.3

A type-safe interface to communicate with an SMT solver.

Categories
License
GPL-3.0-only
Maintainer
guenther@forsyte.at
Links
Versions
- 1.0 Sat, 13 Nov 2021
- 0.3.1 Mon, 20 Jun 2016
- 0.3 Wed, 21 Oct 2015
- 0.2 Tue, 27 Jan 2015
- 0.1 Sun, 7 Dec 2014

Installation
In your cabal file:
Dependencies (14)
- array
- atto-lisp >=0.2 && <0.3
- attoparsec
- base >=4 && <5
- blaze-builder
- bytestring
Dependents (6)
@hackage/acme-everything, @hackage/smtlib2-debug, @hackage/copilot-theorem, @hackage/smtlib2-quickcheck, @hackage/smtlib2-pipe, @hackage/smtlib2-timing

Package Flags

withconstraints

(on by default)

Enables the use of the constraint-kind extension which is needed to parse map-expressions.

withdatakinds

(off by default)

Enables the use of the data-kinds extension which is needed for typed bitvectors.