Zero-suppressed Binary Decision Diagrams (aka Z-BDD). PACKAGE STATE: beta