zdd

zdd is a Zero-suppressed binary Decision Diagram library in Rust. It is based on Zero-suppressed BDDs and their applications by Shin-Ichi Minato.

For more details see the documentation.