package mlcuddidl

  1. Overview
  2. No Docs
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)

  1. ocamlbuild build
  2. camlidl
  3. ocamlfind build
  4. ocaml >= "4.02" & < "4.06"

Dev Dependencies

None

Used by (1)

  1. bddapron

Conflicts

None

OCaml

Innovation. Community. Security.