simple-smt

A simple way to interact with an SMT solver process.

LTS Haskell 8.23:0.6.0
Stackage Nightly 2017-06-28:0.7.0
Latest on Hackage:0.7.0
BSD3 licensed by Iavor S. Diatchki
Maintained by iavor.diatchki@gmail.com

Module documentation for 0.6.0

A simple way to interact with an SMT solver process.

Changes

0.6.0: Allow finer-grained logging
0.5.5: Add support for unsupported results
0.5.3: Add 'zeroExtend' and 'signExtend'
0.5.2: Fix right shift
0.5.1: Add 'define' commands
0.5: Adds more bit-wise operations
0.4: Fixes definiiton of `geq`
Depends on:
Used by 1 package:
comments powered byDisqus