@hackage smtlib2-quickcheck1.0

Helper functions to create SMTLib expressions in QuickCheck

Categories
License
GPL-3.0-only
Maintainer
guenther@forsyte.at
Links
Versions
- 1.0 Fri, 6 Jan 2017

Installation
In your cabal file:
Dependencies (7)
- QuickCheck
- base >=4 && <5
- containers
- dependent-map
- dependent-sum
- mtl
Dependents (2)
@hackage/acme-everything, @hackage/smtlib2-pipe