this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "simon.cruanes.2007@m4x.org"
3synopsis: "A mcsat-based SMT solver in pure OCaml"
4authors: [
5 "Simon Cruanes"
6 "Guillaume Bury"
7]
8license: "Apache"
9tags: ["sat" "smt" "mcsat"]
10homepage: "https://github.com/c-cube/mc2"
11bug-reports: "https://github.com/c-cube/mc2/issues/"
12depends: [
13 "ocaml" {>= "4.03.0"}
14 "zarith" { >= "1.9" }
15 "menhir" {< "20211215"}
16 "containers" { >= "3.0" & < "4.0" }
17 "iter" { >= "1.0" }
18 "smtlib-utils" { >= "0.1" & < "0.3" }
19 "dune" { >= "1.11" }
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "build" "@install" "-p" name "-j" jobs]
24 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
25 ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
26]
27dev-repo: "git+https://github.com/c-cube/mc2.git"
28url {
29 src: "https://github.com/c-cube/mc2/archive/v0.1.tar.gz"
30 checksum: [
31 "md5=92de696251ec76fbf3eba6ee917fd80f"
32 "sha512=e88ba0cfc23186570a52172a0bd7c56053273941eaf3cda0b80fb6752e05d1b75986b01a4e4d46d9711124318e57cba1cd92d302e81d34f9f1ae8b49f39114f0"
33 ]
34}