this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Simon Cruanes <simon.cruanes@inria.fr>"
3authors: "Simon Cruanes"
4homepage: "https://github.com/c-cube/ocaml-qbf"
5bug-reports: "https://github.com/c-cube/ocaml-qbf/issues"
6license: "BSD-3-Clause"
7tags: ["clib:quantor" "clib:qdpll" "clib:picosat"]
8dev-repo: "git+https://github.com/c-cube/ocaml-qbf.git"
9build: [
10 ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
11 ["ocaml" "setup.ml" "-build"]
12 ["ocaml" "setup.ml" "-configure" "--enable-tests"] {with-test}
13 ["ocaml" "setup.ml" "-build"] {with-test}
14 ["ocaml" "setup.ml" "-test"] {with-test}
15 ["ocaml" "setup.ml" "-doc"] {with-doc}
16]
17install: ["ocaml" "setup.ml" "-install"]
18remove: ["ocamlfind" "remove" "qbf"]
19depends: [
20 "ocaml"
21 "ocamlbuild" {build}
22 "ocamlfind" {build}
23 "ounit" {with-test}
24]
25depopts: ["ctypes" "random-generator"]
26synopsis: "QBF solving in OCaml, including bindings to solvers"
27description: """
28Ocaml-qbf provides a unified API to several QBF solvers, along with
29common types for formulas, QCNF and literals and operations such as
30simplifications and reduction to CNF.
31
32It packs:
33- a binding to quantor, which is shipped with the library
34- a binding to Depqbf"""
35flags: light-uninstall
36available: opam-version < "2.0.9"
37url {
38 src: "https://github.com/c-cube/ocaml-qbf/archive/0.2.tar.gz"
39 checksum: [
40 "sha256=e91f75f623a871be52201afeb1375a714b0833c6f7f4484e716cfa802e3effc6"
41 "md5=4213a4a6138e2056ec5db3871d0dd17a"
42 ]
43}