this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3synopsis: "Bindings to Minisat-C-1.14.1, 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" {>= "1.0"}
13 "odoc" {with-doc}
14]
15tags: [ "minisat" "solver" "SAT" ]
16homepage: "https://github.com/c-cube/ocaml-minisat/"
17dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
18bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
19authors: "simon.cruanes.2007@m4x.org"
20url {
21 src: "https://github.com/c-cube/ocaml-minisat/archive/v0.5.tar.gz"
22 checksum: [
23 "md5=ae4a6feb34787f8814671af796e8cf5b"
24 "sha512=41c6c4ba2149a1afed90c7e55122dfe7239fba7221d649152549f42285b887d0cd62ac434d76eac58527b635afa4adc9d1c183cbd921eb6f927baa76371559eb"
25 ]
26}