boolector

Haskell bindings for the Boolector SMT solver.

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