simple-smt
A simple way to interact with an SMT solver process.
Version on this page: | 0.7.0 |
LTS Haskell 8.24: | 0.6.0 |
Stackage Nightly 2017-10-02: | 0.7.0 |
Latest on Hackage: | 0.9.7 |
Maintained by [email protected]
This version can be pinned in stack with:
simple-smt-0.7.0@sha256:d2cabb30ffa3ee1048ac69418f080f35315a0d16399cf483b60ac80f35c7eb56,736
Module documentation for 0.7.0
Depends on 2 packages(full list with versions):
Used by 1 package in nightly-2017-05-25(full list with versions):