boolector

Haskell bindings for the Boolector SMT solver

https://github.com/plsyssec/haskell-boolector

Latest on Hackage:

0.0.0.13

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.

MIT licensed by Deian Stefan, Johannes Waldmann, Armin Biere

Maintained by Deian Stefan

This library provides a high-level, monadic DSL for writing symbolic computations atop the Boolector SMT solver (https://github.com/Boolector/boolector).

The API and its description is defined in the Boolector module.

Several examples can be found at: https://github.com/PLSysSec/haskell-boolector/tree/master/test