package mlcuddidl

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

Install

Dune Dependency

Authors

Maintainers

Sources

mlcuddidl-3.0.4.tar.gz
sha256=9a9d36e6504240793ac1f5f647a9ffb1ad5d715ff70d04fe96e44908ae9b2aea
md5=8af11a926e2c878b047505abf8fa7c80

Description

Published: 08 Feb 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.