package mlcuddidl

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

Install 

dune-project
 Dependency

www.inrialpes.fr Edit opam file Versions (7)

Authors

  1. B
    Bertrand Jeannet
  2. N
    Nicolas Berthier

Maintainers

  1. N
    Nicolas Berthier <m@nberth.space>

Sources

mlcuddidl-3.0.8.tar.gz
sha512=b039fd1162bef7460bc7cf378a000d35730d5327ec4648dfe7eef88c148fb6812764bf32a1801353a09f59c9bcd6ea386f77e1896e48b53163d4c081fed5a80c

Description

Published: 09 Jul 2024

Dependencies (5)

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

Dev Dependencies

None

Used by (1)

  1. bddapron

Conflicts

None