To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
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
Tagsclib:quantor clib:qdpll clib:picosat
Published: 13 Jan 2021
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)" >
On This Page