package qbf

  1. Overview
  2. No Docs
QBF solving in OCaml, including bindings to solvers

Install

Dune Dependency

Authors

Maintainers

Sources

0.2.tar.gz
md5=4213a4a6138e2056ec5db3871d0dd17a

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

Dependencies (3)

  1. ocamlfind build
  2. ocamlbuild build
  3. ocaml

Dev Dependencies (1)

  1. ounit with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.