OCaml logo

mlcuddidl

OCaml interface to the CUDD BDD library
Description
Install
https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html
Published
21 Jun 2021
Authors
Maintainers
Sources
mlcuddidl-3.0.7.tar.gz 
md5=0b726780bd06b7156a621efdf6df164f
Dependencies
conf-m4 
build
ocamlbuild 
build
camlidl
ocamlfind 
build
ocaml 
>= "4.04"
Reverse Dependencies
bddapron