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 "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.2/alt-ergo-2.3.2.tar.gz"
34 checksum: [
35 "sha256=69418b8b959f695de06a85347d554efd5f2dd28a58a976e3f354abf9a58e108c"
36 "md5=efdf062a6bfdc1505637591b37334a28"
37 ]
38}