bddapron 2.3.3 · OCaml Package

bddapron

Logico-numerical domain(s) based on BDDs and APRON

Version

Description

Install

https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html

Authors

Bertrand Jeannet

Maintainers

Nicolas Berthier <m@nberth.space>

Sources

bddapron-2.3.3.tar.gz

md5=55b075f0242532b9fe293602b6839984

Dependencies

ocamlbuild

build

apron

>= "20151015"

mlcuddidl

>= "2.3.0"

camllib

ocamlfind

build

ocaml

>= "4.03.0" & < "4.09.0"

Reverse Dependencies