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
AuthorSimon Cruanes
LicenseBSD-3-clause
Published
Homepagehttps://github.com/c-cube/ocaml-qbf
Issue Trackerhttps://github.com/c-cube/ocaml-qbf/issues
MaintainerSimon 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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qbf/qbf.0.3/opam
Optionally used by