Python package handling BDDs and ZDDs

Question

Is there a python package handling binary decision diagrams (BDDs) and zero suppressed binary decision diagrams (ZDDs), as in Knuth volume 4?

I know networkx can handle DAGs cleanly, but I'm looking for something that handles the internal garbage keeping of ZDDs, constructions from the algebra of set families (Knuth), construction of BDDs from other types of decision diagrams, and maybe some primitive ZDDs and queries (such as sampling and counting).

There are some packages in other languages: Java and C++. (Edits extending this list would be welcome.)

Edit -- several promising tools listed here: https://github.com/johnyf/tool_lists/blob/master/bdd.md

Edit2 -- Graphillion, a python package recommended by Minato himself in this slides, may be the canonical answer. Especially as it comes with this endearing tutorial video (that comes with this backstory).

Answer 1

Yes. Graphillion should do it.

What's your source of BDD/ZDD? If say for example the source is blif, blif should be translated to x and then the x should be translated to ZDD.

For you, you have to figure out what x is.