bddapron
Logico-numerical domain(s) based on BDDs and APRON
Description
Install
- Authors
-
- Maintainers
-
Sources
Dependencies
ocamlbuild
build
apron
>= "20151015"
mlcuddidl
>= "2.3.0"
ocamlfind
build
ocaml
>= "4.03.0" & < "4.09.0"
Reverse Dependencies