package zdd

"

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