qbfversion
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> |
Dependencies | |
Optional dependencies |
|
Source [http] | https://github.com/c-cube/ocaml-qbf/releases/download/0.3/qbf-0.3.tbz sha256=2f6c085db501511cf34a76d763409b58cb05ea88bf77cc75fd486ddb83f51f0a sha512=89fe7271671ea9c72ae87505a54d101f0b95c3374161305ac26177146559fcb7f61ad2f6d8ae9944f92185d5b85b19673cb4f8bfed43dbc2c772f9962717f73e |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/qbf/qbf.0.3/opam |
Optionally used by
- touist>=3.2.0