QBF solving in OCaml, including bindings to solvers
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.
- a binding to quantor, which is shipped with the library
- a binding to Depqbf
11 Jun 2017