this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Simon Cruanes <simon.cruanes@inria.fr>"
3authors: [ "Simon Cruanes" ]
4license: "BSD-3-clause"
5homepage: "https://github.com/c-cube/ocaml-qbf"
6dev-repo: "git+https://github.com/c-cube/ocaml-qbf.git"
7bug-reports: "https://github.com/c-cube/ocaml-qbf/issues"
8tags: [ "clib:quantor" "clib:qdpll" "clib:picosat" ]
9build: [
10 ["dune" "build" "-p" name "-j" jobs]
11 ["dune" "build" "@doc" "-p" name ] {with-doc}
12 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
13]
14depends: [
15 "ocaml" {>= "4.08"}
16 "dune" { >= "2.0" }
17 "ounit" {with-test}
18 "odoc" {with-doc}
19]
20depopts: [
21 "ctypes"
22 "random-generator"
23]
24synopsis: "QBF solving in OCaml, including bindings to solvers"
25description: """
26Ocaml-qbf provides a unified API to several QBF solvers, along with
27common types for formulas, QCNF and literals and operations such as
28simplifications and reduction to CNF.
29
30It packs:
31- a binding to quantor, which is shipped with the library
32- a binding to Depqbf"""
33x-commit-hash: "3f75014d244c304cba1adf86afadbe7b997cbc2e"
34url {
35 src:
36 "https://github.com/c-cube/ocaml-qbf/releases/download/0.3/qbf-0.3.tbz"
37 checksum: [
38 "sha256=2f6c085db501511cf34a76d763409b58cb05ea88bf77cc75fd486ddb83f51f0a"
39 "sha512=89fe7271671ea9c72ae87505a54d101f0b95c3374161305ac26177146559fcb7f61ad2f6d8ae9944f92185d5b85b19673cb4f8bfed43dbc2c772f9962717f73e"
40 ]
41}