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

See all snapshots simple-smt appears in

BSD-3-Clause licensed by Iavor S. Diatchki
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-04-17(full list with versions):

A simple way to interact with an SMT solver process.