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