Opam Package qbf.0.3

Package info

opam-nameqbf
opam-version0.3
synopsisQBF 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
authors
  • Simon Cruanes
homepagehttps://github.com/c-cube/ocaml-qbf
licenseBSD-3-clause
readme-fileREADME.md
deps (5)
revdeps (1)
metas (2)
libraries (2)

Package modules

Package sources

qbf

Package files

lib/stublibs/dllqbf_quantor_stubs.so
lib/qbf/quantor/quantor.mli
lib/qbf/quantor/quantor.ml
lib/qbf/quantor/quantor.h
lib/qbf/quantor/quantor.cmx
lib/qbf/quantor/quantor.cmti
lib/qbf/quantor/quantor.cmt
lib/qbf/quantor/quantor.cmi
lib/qbf/quantor/qbf_quantor.cmxs
lib/qbf/quantor/qbf_quantor.cmxa
lib/qbf/quantor/qbf_quantor.cma
lib/qbf/quantor/qbf_quantor.a
lib/qbf/quantor/picosat.h
lib/qbf/quantor/libquantor.a
lib/qbf/quantor/libqbf_quantor_stubs.a
lib/qbf/quantor/libpicosat.a
lib/qbf/quantor
lib/qbf/qbf.mli
lib/qbf/qbf.ml
lib/qbf/qbf.cmxs
lib/qbf/qbf.cmxa
lib/qbf/qbf.cmx
lib/qbf/qbf.cmti
lib/qbf/qbf.cmt
lib/qbf/qbf.cmi
lib/qbf/qbf.cma
lib/qbf/qbf.a
lib/qbf/opam
lib/qbf/dune-package
lib/qbf/META
lib/qbf
doc/qbf/README.md
doc/qbf/LICENSE
doc/qbf/CHANGELOG.md
doc/qbf