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 "dune" {>= "1.0"}
12 "odoc" {with-doc}
13]
14tags: [ "minisat" "solver" "SAT" ]
15homepage: "https://github.com/c-cube/ocaml-minisat/"
16dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
17bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
18authors: "simon.cruanes.2007@m4x.org"
19url {
20 src: "https://github.com/c-cube/ocaml-minisat/archive/v0.3.tar.gz"
21 checksum: [
22 "md5=f680652b0414d00c406c6f2a6ae4dc8f"
23 "sha512=9ca23af313b1111d38b84b2169b326d288616cdb43295ce9fe1178b74d9b5950019558653ecdd85847f246e9df120c8a43ac09d90bef41d0097466ac7cddca4b"
24 ]
25}