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