package mlcuddidl

  1. Overview
  2. No Docs
OCaml interface to the CUDD BDD library

Install

Dune Dependency

Authors

Maintainers

Sources

mlcuddidl-2.3.0.tar.gz
sha256=51aa5ecc6d4310e9f1737159611cbfecfa0ce81f8ec64a31903171728d128c20
md5=81848ed89c0d601d371e3a3ca95fbf16

Description

Published: 31 Oct 2015

Dependencies (4)

  1. ocamlbuild build
  2. camlidl
  3. ocamlfind build
  4. ocaml < "4.06"

Dev Dependencies

None

Used by (1)

  1. bddapron

Conflicts

None

OCaml

Innovation. Community. Security.