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.4.tar.gz"
22 checksum: [
23 "md5=a17f04229fcba9f454b3499386f35d5e"
24 "sha512=e05d49ea0f6b8379c61795f20331b930daba0cb1dde8eb5c0a2810e18d43b997252af5f97fffbf427b890f982ca09b195b8591648bb702e819a191ce13cdee46"
25 ]
26}