package qbf

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

QBF solving in OCaml, including bindings to solvers

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

S

Simon Cruanes

Maintainers

S

Simon Cruanes <simon.cruanes@inria.fr>

Sources

0.2.tar.gz

sha256=e91f75f623a871be52201afeb1375a714b0833c6f7f4484e716cfa802e3effc6

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

Published: 11 Jun 2017

Dependencies (3)

ocamlfind build
ocamlbuild build
ocaml

Dev Dependencies (1)

ounit with-test

Used by

None

Conflicts