@hackage smtlib2-timing1.0

Get timing informations for SMT queries

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

Installation
In your cabal file:
Dependencies (5)
- base >=4 && <5
- dependent-sum
- mtl
- smtlib2 >=1.0 && <1.1
- time
Dependents (1)
@hackage/acme-everything