Python package handling BDDs and ZDDs

user_6114885 0
Viewed 316

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).

combinatorics enumeration python
1 Answers

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.

Admin1
Related