Simple interface to the Yices SMT (SAT modulo theories) solver. http://www.ugcs.caltech.edu/~keegan/haskell/yices-easy/
|Latest on Hackage:||0.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This library provides a simple interface to Yices, an SMT solver available from http://yices.csl.sri.com/.
It uses the Yices C API, which you will need to have installed. The API is not installed on the Hackage server, so you may need to download this package in order to read its documentation. Sorry.
The core functionality is provided by modules
Sugar provides optional syntactic
Build provides optional monadic bookkeeping.
The library aims for simplicity, and not all features of Yices are supported. Suggestions and patches are welcome.