simple-smt
A simple way to interact with an SMT solver process.
| Version on this page: | 0.6.0 |
| LTS Haskell 8.24: | 0.6.0 |
| Stackage Nightly 2017-10-02: | 0.7.0 |
| Latest on Hackage: | 0.9.7 |
Maintained by iavor.diatchki@gmail.com
This version can be pinned in stack with:
simple-smt-0.6.0@sha256:2d5015f85d3a768c76172eec98b734f958632a2c46b609e8323d25aa8ef202e5,736Module documentation for 0.6.0
Depends on 2 packages(full list with versions):
Used by 1 package in lts-6.35(full list with versions):