@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 (0)
Dependents (1)
@hackage/acme-everything