package mlcuddidl

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

Install

Dune Dependency

Authors

Maintainers

Sources

mlcuddidl-3.0.1.tar.gz
sha256=d772e9258866bb923796a9818c59dc63562c82914f839fee0f7323ebbe3e8f6f
md5=62ecdc121334afc8398cc7f880bc2fa7

Description

Published: 27 Sep 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.