mlcuddidl

Authors { Bertrand Jeannet, Nicolas Berthier }
License LGPL-2.1
Homepage https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html
Maintainer Nicolas Berthier <m@nberth.space>
Dependencies
& camlidl
ocamlbuild
ocamlfind
Available ocaml-version >= "4.02.0"
Published Sep 27, 2016
Source [http] http://nberth.space/pool/mlcuddidl/mlcuddidl-3.0.1.tar.gz
62ecdc121334afc8398cc7f880bc2fa7
Statistics Installed 14 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/mlcuddidl/mlcuddidl.3.0.1/opam

OCaml interface to the CUDD BDD library

Necessary for
bddapron