Implementation of ZDD (Zero-supressed Binary Decision Diagram) proposed by Shin-ichi Minato. ZDD is a data structure which represents combination sets (family).
The operations below are supported:
- empty
- base
- subset0
- subset1
- change
- intersect
- union
- setdiff
reference: Minato, S, 2001, Zero-suppressed BDDs and their applications, International Journal on Software Tools for Technology