package mlcuddidl

You can search for identifiers within the package.

in-package search v0.2.0

OCaml interface to the CUDD BDD library

Install

Dune Dependency

www.inrialpes.fr Edit opam file Versions (9)

Authors

Maintainers

N

Nicolas Berthier <m@nberth.space>

Sources

mlcuddidl-3.0.6.tar.gz

md5=bea9d9b94024df1d78ebe0caf66351ad

Description

Published: 19 Jun 2020

Dependencies (5)

conf-m4 build
ocamlbuild build
camlidl
ocamlfind build
ocaml >= "4.02" & < "5.0.0"

Dev Dependencies

None

Used by (1)

bddapron

Conflicts

None

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (1)
Conflicts