this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3synopsis: "Bindings to the SAT solver Minisat, with the solver included."
4build: [
5 ["dune" "build" "-p" name "-j" jobs]
6 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
7 ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
8]
9license: "BSD-2-clause"
10depends: [
11 "ocaml" {>= "4.03" }
12 "dune" {>= "2.0"}
13 "odoc" {with-doc}
14 "containers" {>= "3.6" & with-test}
15]
16tags: [ "minisat" "solver" "SAT" ]
17homepage: "https://github.com/c-cube/ocaml-minisat/"
18dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
19bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
20authors: "simon.cruanes.2007@m4x.org"
21url {
22 src:
23 "https://github.com/c-cube/ocaml-minisat/releases/download/v0.6/minisat-0.6.tbz"
24 checksum: [
25 "sha256=e407a60be9c495d449be8a0ad955941ac1639515bad19fdbacd4a15d5aaf6605"
26 "sha512=17a5eafd2afb2cb3e829a0b7eb32c14de5ebeeaed12ecfc4f58410c9b582918595c6c31facbbda126e9fd394d3846e14f961cab529d41ac82b0775930246e5fa"
27 ]
28}
29x-commit-hash: "f140c0f7b692b1aa66ac1f3f7514b2484e42f901"