this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: "Alt-Ergo developers"
3maintainer: "OCamlPro <alt-ergo@ocamlpro.com>"
4license: "LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1"
5build: [
6 ["ocaml" "unix.cma" "configure.ml" name]
7 ["dune" "subst"] {dev}
8 ["dune" "build" "-p" name "-j" jobs]
9]
10depends: [
11 "ocaml" {>="4.04.0"}
12 "dune" {>= "1.5"}
13 "alt-ergo-lib" { = version }
14 "psmt2-frontend" { >= "0.2" }
15 "camlzip"
16 "menhir" {< "20211223"}
17]
18homepage: "http://alt-ergo.ocamlpro.com/"
19dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
20bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
21
22synopsis: "The Alt-Ergo SMT prover parser library"
23description:
24"This is the parser library used in the Alt-Ergo SMT solver.
25
26Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
27
28See more details on http://alt-ergo.ocamlpro.com/"
29
30url {
31 src:
32 "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
33 checksum: [
34 "sha256=0fd6594f30d4e2bea97350a7906ecc2528c37e8fdd32588818a162aacc409688"
35 "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
36 ]
37}