@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
Dependencies (12)
- atto-lisp >=0.2
- attoparsec
- base >=4 && <5
- blaze-builder
- bytestring
- containers Show all…
Dependents (1)
@hackage/smtlib2-debug