this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3authors: "simon.cruanes.2007@m4x.org"
4homepage: "https://github.com/c-cube/ocaml-minisat/"
5bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
6tags: ["minisat" "solver" "SAT"]
7license: "BSD-2-clause"
8dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
9build: [
10 ["dune" "build" "-p" name]
11 ["dune" "runtest"] {with-test}
12 ["dune" "build" "@doc" "-p" name] {with-doc}
13]
14depends: [
15 "ocaml"
16 "dune" {< "2.0"}
17 "odoc" {with-doc}
18]
19synopsis: "Bindings to Minisat-C-1.14.1, with the solver included"
20url {
21 src: "https://github.com/c-cube/ocaml-minisat/archive/0.2.tar.gz"
22 checksum: [
23 "sha256=e9787039c5dca28c8879d8a754ab67346c286b9a472cc0d0d618f20653d15a44"
24 "md5=792f4ba8fb4fe03948d006f2d33aaf04"
25 ]
26}