qbfversion Documentation on ocaml.org
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.
It packs:
- a binding to quantor, which is shipped with the library
- a binding to Depqbf
| Tags | clib:quantor clib:qdpll clib:picosat |
|---|---|
| Author | Simon Cruanes |
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/c-cube/ocaml-qbf |
| Issue Tracker | https://github.com/c-cube/ocaml-qbf/issues |
| Maintainer | Simon Cruanes <simon.cruanes@inria.fr> |
| Available | opam-version < "2.0.9" |
| Dependencies |
|
| Optional dependencies |
|
| Source [http] | https://github.com/c-cube/ocaml-qbf/archive/0.2.tar.gz sha256=e91f75f623a871be52201afeb1375a714b0833c6f7f4484e716cfa802e3effc6 md5=4213a4a6138e2056ec5db3871d0dd17a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qbf/qbf.0.2/opam |
Optionally used by
- touist>=3.2.0
