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.8

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.6.0@sha256:2d5015f85d3a768c76172eec98b734f958632a2c46b609e8323d25aa8ef202e5,736

Module documentation for 0.6.0

Depends on 2 packages(full list with versions):
base, process
Used by 1 package in nightly-2016-07-15(full list with versions):
cryptol

A simple way to interact with an SMT solver process.