bddapron

Logico-numerical domain(s) based on BDDs and APRON
Description
Install
Published
18 Apr 2018
Authors
Maintainers
Sources
bddapron-2.3.2.tar.gz
md5=d37b2d7c20ff92d5dd1cb7962108ac10
Dependencies
apron >= "20151015"
mlcuddidl >= "2.3.0"
ocaml >= "4.02.0" & < "4.09.0"
Reverse Dependencies