bddapron

Author Bertrand Jeannet
License LGPL-2.1
Homepage https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html
Tag flags:light-uninstall
Maintainer Nicolas Berthier <m@nberth.space>
Dependencies
& apron >= 20151015
camllib
mlcuddidl >= 2.3.0
ocamlbuild
ocamlfind
Available ocaml-version >= "4.02.0"
Published May 12, 2016
Source [http] http://nberth.space/pool/bddapron/bddapron-2.3.1.tar.gz
4a4eef2d83c071576571ed4addd7aa92
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bddapron/bddapron.2.3.1/opam

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

No package is dependent