bddapron

Logico-numerical domain(s) based on BDDs and APRON
Description
Install
Published
08 Feb 2019
Authors
Maintainers
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