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@lip6.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"
11build: [
12 ["dune" "subst"] {dev}
13 ["dune" "build" "-p" name "-j" jobs]
14]
15depends: [
16 "dune" {>= "1.1"}
17 "ocaml" {>= "4.08"}
18 "apron"
19 "apronext" {>= "1.0.2"}
20 "picasso" {< "0.4"}
21]
22depopts: [
23 "vpl-core"
24]
25conflicts: [
26 "vpl-core" {< "0.4.2"}
27]
28
29synopsis: "AbSolute solver"
30description: "AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation."
31url {
32 src: "https://github.com/mpelleau/AbSolute/archive/v0.1.tar.gz"
33 checksum: [
34 "md5=9e6b38d0772d665687f00734c39ce845"
35 "sha512=ec3fe17241ef504328850d12de8e1ced14e2ccb31fb8832227c1e44ca52983406f6214bf270adbd2f260896dc83dd513e92a8e5f3c55818bc630b02605e3a85d"
36 ]
37}