package zdd

README.md

Set Families as ZDDs

This library implements the data-structure of ZDDs (Zero-Suppressed Binary Decision Diagrams)[^1][^2] 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

[^1]: S.-i. Minato, “Zero-suppressed BDDs for set manipulation in combinatorial problems,” in Proceedings of the 30th international on Design automation conference - DAC ’93, in DAC ’93. ACM Press, 1993, pp. 272–277. doi: 10.1145/157485.164890.

[^2]: S.-i. Minato, “Zero-suppressed BDDs and their applications,” International Journal on Software Tools for Technology Transfer, vol. 3, no. 2, pp. 156–170, May 2001, doi: 10.1007/s100090100038.