package mlcuddidl

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

Install

Dune Dependency

Authors

Maintainers

Sources

mlcuddidl-3.0.5.tar.gz
sha256=5c177d7bfbc9139544384ec0b44b2a547e7cd9aebc103886d0950651053a9d8c
md5=ea9f57b449fcb12f4c2ac292e86865fc

Description

Published: 09 Oct 2019

Dependencies (5)

  1. conf-m4 build
  2. ocamlbuild build
  3. camlidl build
  4. ocamlfind build
  5. ocaml >= "4.02" & < "4.10"

Dev Dependencies

None

Used by (1)

  1. bddapron

Conflicts

None

OCaml

Innovation. Community. Security.