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" { = "2.3.0" }
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.0/alt-ergo-2.3.0.tar.gz"
33 checksum: [
34 "sha256=7f1906900272125315833b9f0a6abc3c5af7b836d604fdb10a98a9079c1b99f9"
35 "md5=d99bfaf748f7c640222e59677e6afd7c"
36 ]
37}