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>
Availableopam-version < "2.0.9"
Dependencies
Optional dependencies
Source [http] https://github.com/c-cube/ocaml-qbf/archive/0.2.tar.gz
md5=4213a4a6138e2056ec5db3871d0dd17a
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qbf/qbf.0.2/opam
Optionally used by