@hackage smtlib2-pipe1.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 Thu, 5 Jan 2017

Installation
In your cabal file:
Dependencies (12)
- base >=4 && <5
- bytestring
- containers
- mtl
- process
- text
Dependents (1)
@hackage/smtlib2-debug