bddapron

Logico-numerical domain(s) based on BDDs and APRON
Description
Install
Sources
bddapron-2.3.3.tar.gz
md5=55b075f0242532b9fe293602b6839984
Dependencies
apron
>= "20151015"
mlcuddidl
>= "2.3.0"
ocaml
>= "4.03.0" & < "4.09.0"
Reverse Dependencies