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 ["./configure" 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 "stdlib-shims"
18]
19homepage: "http://alt-ergo.ocamlpro.com/"
20dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
21bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
22
23synopsis: "The Alt-Ergo SMT prover parser library"
24description:
25"This is the parser library used in the Alt-Ergo SMT solver.
26
27Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
28
29See more details on http://alt-ergo.ocamlpro.com/"
30
31url {
32 src:
33 "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.3/alt-ergo-2.3.3.tar.gz"
34 checksum: [
35 "sha256=52e9e9cdbedf7afd1b32154dfb71ca7bead44fa2efcab7eb6d9ccc1989129388"
36 "md5=3b060044767d16d1de3416944abd2dd5"
37 ]
38}