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