bddapron

Logico-numerical domain(s) based on BDDs and APRON
Description
Install
Documentation www.inrialpes.fr Edit opam file
Published
18 Apr 2018
Authors
Maintainers
Sources
bddapron-2.3.2.tar.gz
md5=d37b2d7c20ff92d5dd1cb7962108ac10
Dependencies
ocamlbuild build
apron >= "20151015"
mlcuddidl >= "2.3.0"
camllib
ocamlfind build
ocaml >= "4.02.0" & < "4.09.0"
Reverse Dependencies