boolector
Version 0.0.0.13 revision 0 uploaded by DeianStefan.
Package meta
- Synopsis
- Haskell bindings for the Boolector SMT solver
- Description
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
- Author
- Deian Stefan, Johannes Waldmann, Armin Biere
- Bug reports
- https://github.com/plsyssec/haskell-boolector/issues
- Category
- Math, SMT, Theorem Provers, Formal Methods, Bit vectors
- Copyright
- n/a
- Homepage
- https://github.com/plsyssec/haskell-boolector
- Maintainer
- Deian Stefan <deian@cs.ucsd.edu>
- Package URL
- n/a
- Stability
- n/a