@hackage smtlib21.0

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 (7)
- base >=4 && <4.16
- constraints
- containers
- dependent-map
- dependent-sum
- mtl
Dependents (6)
@hackage/acme-everything, @hackage/smtlib2-debug, @hackage/copilot-theorem, @hackage/smtlib2-quickcheck, @hackage/smtlib2-pipe, @hackage/smtlib2-timing