opam-version: "2.0"
maintainer: "Marie Pelleau <marie.pelleau@i3s.unice.fr>"
authors: [
  "Marie Pelleau <marie.pelleau@i3s.unice.fr>"
  "Ghiles Ziat <ghiles.ziat@epita.fr>"
]
homepage: "https://github.com/mpelleau/AbSolute"
bug-reports: "https://github.com/mpelleau/AbSolute/issues"
dev-repo: "git+https://github.com/mpelleau/AbSolute"
license: " LGPL-3.0-or-later"
build: [
  ["dune" "subst"] {dev}
  ["dune" "build" "-p" name "-j" jobs]
]
depends: [
  "dune" {>= "2.0"}
  "ocaml" {>= "4.11"}
  "apron"
  "apronext" {>= "1.0.2"}
  "picasso" {>= "0.4.0"}
  "menhir" {>= "20180528"}
  "libabsolute"
  "odoc" {with-doc}
]
available: arch != "x86_32" & arch != "arm32"
synopsis: "AbSolute solver"
description: "AbSolute is a constraint solver based on abstract domains from the theory of abstract interpretation."
url {
  src: "https://github.com/mpelleau/AbSolute/archive/0.3.tar.gz"
  checksum: [
    "md5=0dcb117b36b1afc68ba2c57186f6d04e"
    "sha512=efcb9bf2a7fb5c62a00b35e5427064af65208186be0a6d343ac56206d5466951ef4593db04dc412987a11018f75d2952d4ab0e2384f588befaa50c8e1921133f"
  ]
}