@hackage / boolector

Haskell bindings for the Boolector SMT solver

Latest0.0.0.13

About

Metadata

  • Last updated , by DeianStefan
  • License MIT
  • Categories Mathematics

  • Maintained by: Deian Stefan <deian@cs.ucsd.edu>

  • Lottery factor: 0

Links

Installation

Readme

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