this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes@inria.fr"
3authors: "simon.cruanes@inria.fr"
4homepage: "https://github.com/c-cube/ocaml-minisat/"
5bug-reports: "https://github.com/c-cube/ocaml-minisat/issues"
6tags: ["minisat" "solver" "SAT"]
7dev-repo: "git+https://github.com/c-cube/ocaml-minisat.git"
8build: [
9 ["./configure" "--prefix=%{prefix}%" "--docdir=%{doc}%" "--disable-docs"]
10 [make "build"]
11]
12install: [make "install"]
13remove: ["ocamlfind" "remove" "minisat"]
14depends: [
15 "ocaml" {>= "4.00.0" & < "5.0.0"}
16 "ocamlfind" {build}
17 "ocamlbuild" {build}
18]
19synopsis:
20 "Bindings to Minisat, with the solver included (no external dependency)"
21flags: light-uninstall
22url {
23 src: "https://github.com/c-cube/ocaml-minisat/archive/0.1.tar.gz"
24 checksum: [
25 "sha256=6d59ab916b5eb8ee63f85b1de46d417ffe98b1efcae02a71abf3f31fae4e68ab"
26 "md5=35b2a371c0a59150c025b72184169bec"
27 ]
28}