this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Marie Pelleau <marie.pelleau@i3s.unice.fr>"
3authors: [
4 "Marie Pelleau <marie.pelleau@i3s.unice.fr>"
5 "Ghiles Ziat <ghiles.ziat@epita.fr>"
6]
7homepage: "https://github.com/mpelleau/AbSolute"
8bug-reports: "https://github.com/mpelleau/AbSolute/issues"
9dev-repo: "git+https://github.com/mpelleau/AbSolute"
10license: " LGPL-3.0-or-later"
11build: [
12 ["dune" "subst"] {dev}
13 ["dune" "build" "-p" name "-j" jobs]
14]
15depends: [
16 "dune" {>= "2.0"}
17 "ocaml" {>= "4.11"}
18 "apron"
19 "apronext" {>= "1.0.2"}
20 "picasso" {>= "0.3.0" & < "0.4"}
21 "menhir" {>= "20180528"}
22 "libabsolute"
23 "odoc" {with-doc}
24]
25available: arch != "x86_32" & arch != "arm32"
26synopsis: "AbSolute solver"
27description: "AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation."
28url {
29 src: "https://github.com/mpelleau/AbSolute/archive/0.2.tar.gz"
30 checksum: [
31 "md5=7fa3ddb22997078b47f517ada5f6cb96"
32 "sha512=43aff8a0f05022b90ff89f0b2feacdc829e9e6da9be88f802254aff383823b2d8f3dc4e3a694a9d534493d3e60b8a98de9c45a4690c3275b58a6a9dba476e133"
33 ]
34}