- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
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