package mlcuddidl
OCaml interface to the CUDD BDD library
Install
Dune Dependency
Authors
Maintainers
Sources
mlcuddidl-3.0.0.tar.gz
sha256=26994364e660f7922c77eef57c450388374265d84deb8711b83fbb4c91305f48
md5=dbb66ac84b5448f43e49a92d84ee8732
Description
Published: 07 May 2016
Dependencies (4)
-
ocamlbuild
build - camlidl
-
ocamlfind
build -
ocaml
>= "4.02" & < "4.06"
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page