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
Sources
0.2.tar.gz
md5=4213a4a6138e2056ec5db3871d0dd17a
Dependencies
Reverse Dependencies