@hackage smt0.0.0.0

Interface to Satisfiability Modulo Theories solvers

Categories
License
BSD-3-Clause
Maintainer
strake888@gmail.com
Links
Versions
- 0.0.0.0 Wed, 2 Oct 2019

Installation
In your cabal file:
Dependencies (3)
- base >=4.7 && <5
- base-unicode-symbols
- util
Dependents (0)

smt