this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sylvain.conchon [at] lri.fr"
3homepage: "http://cubicle.lri.fr/alt-ergo-zero/"
4build: [
5 ["./configure"]
6 [make]
7]
8remove: [["ocamlfind" "remove" "aez"]]
9depends: [
10 "ocaml" {>= "3.12" & < "5.0"}
11 "ocamlfind"
12 "num"
13]
14install: [
15 "ocamlfind" "install" "aez" "aez.a" "aez.cmi" "aez.cma" "aez.cmxa" "META"
16]
17synopsis: "Alt-Ergo Zero is an OCaml library for an SMT solver."
18description: """
19This SMT solver is derived from Alt-Ergo. It uses an efficient SAT solver and
20supports the following quantifier free theories:
21 - Equality and uninterpreted functions
22 - Arithmetic (linear, non-linear, integer, real)
23 - Enumerated data-types
24
25This API makes heavy use of hash consing, in particular hash-consed strings."""
26flags: light-uninstall
27url {
28 src: "http://cubicle.lri.fr/alt-ergo-zero/aez-0.3.tar.gz"
29 checksum: [
30 "sha256=d54d57c572b1329002d5ae11e92ff58caf7e3d15efb7824a835d2944ad9698a7"
31 "md5=42260d8e110defa9c8c5b6cc1eafa29f"
32 ]
33}
34extra-source "META" {
35 src:
36 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/aez/META.0.3"
37 checksum: [
38 "sha256=d5d6e83911474d8adafe56a66c7d43d303de348bbbe7a6a1c8de43d0a29d4968"
39 "md5=6d0264f89a413950c66081fe3bd25c53"
40 ]
41}