zdd (cargo): A Zero-suppressed BDD library.
Keywords: zdd|diagram|bdd