qbf

QBF solving in OCaml, including bindings to solvers
Description

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
Install
clib:quantor clib:qdpll clib:picosat
Documentation failed to build. github.com Edit opam file
Published
11 Jun 2017
Authors
Maintainers
Sources
0.2.tar.gz
md5=4213a4a6138e2056ec5db3871d0dd17a
Dependencies
ounit with-test
ocamlfind build
ocamlbuild build
ocaml
Reverse Dependencies