package zdd

All checked builds pass
  1. Overview
  2. Docs
Implementation of ZDDs, as well as upward-closed and downward-closed set families

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (1)

Authors

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Maintainers

  1. B
    Benoît Montagu <benoit.montagu@inria.fr>

Sources

zdd-v0.5.tbz
sha256=c99d54dc54ce9ac7d31c3a42991fa90731d95a7401dfb69488ef30cdd6b9676d
sha512=6092931d8255304e228c35ff4d12cbebe1ae728cce27314903194973bb551d6a4af9030d2a986316e09fc0ec5588f0fcbd901581c091cfafdab1aef581272e0e

Description

Added to opam-repository:

README

pipeline status

Set Families as ZDDs

This library implements the data-structure of ZDDs (Zero-Suppressed Binary Decision Diagrams)^1 to represent finite set families (i.e., sets of finite sets).

The library also provides implementation of upward-closed set families and downward-closed set families, by representing with ZDDs the minimal (respectively the maximal) elements of such sets.

Warning: be aware that this implementation is not thread safe, as it uses references and hash tables internally.

Documentation is available here.

References

Dependencies (2)

  1. ocaml >= "4.12"
  2. dune >= "3.17"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

Results of building zdd with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.5 (this version) n/a good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure