qbf
QBF solving in OCaml, including bindings to solvers
Description
Ocaml-qbf provides a unified API to several QBF solvers, along with common types for formulas, QCNF and literals and operations such as simplifications and reduction to CNF.
It packs:
- a binding to quantor, which is shipped with the library
- a binding to Depqbf
Install
- Published
-
11 Jun 2017
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies