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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 11 Jun 2017
- Authors
- Maintainers
Sources
Dependencies
Reverse Dependencies