qbf

AuthorSimon Cruanes
LicenseBSD-3-clause
Homepagehttps://github.com/c-cube/ocaml-qbf
Issue Trackerhttps://github.com/c-cube/ocaml-qbf/issues
Tagsclib:quantor, clib:qdpll and clib:picosat
MaintainerSimon Cruanes <simon.cruanes@inria.fr>
Dependencies
&ocamlbuild
ocamlfind
ounit
Optional dependencies
|ctypes
random-generator
PublishedJun 9, 2017
Source [http] https://github.com/c-cube/ocaml-qbf/archive/0.2.tar.gz
4213a4a6138e2056ec5db3871d0dd17a
StatisticsInstalled 96 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/qbf/qbf.0.2/opam

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
Optional for
touist
>= 3.2.0