Python程序包处理BDD和ZDD

Question

[像Knuth第4卷一样，是否有一个python程序包处理二进制决策图（BDD）和零抑制二进制决策图（ZDD）？

我知道networkx可以干净地处理DAG，但是我正在寻找可以处理ZDD内部垃圾，集族代数（Knuth）的构造，其他类型的决策图的BDD构造的东西。原始ZDD和查询（例如采样和计数）。

有一些其他语言的软件包：Java和C++。 （欢迎扩展此列表的编辑。）

编辑-这里列出了几个有前途的工具：https://github.com/johnyf/tool_lists/blob/master/bdd.md

Edit2-Graphillion，由Minato本人in this slides推荐的python包，可能是规范的答案。尤其是当它附带此可爱的tutorial video（此backstory附带）时。

像Knuth第4卷中一样，是否有python程序包处理二进制决策图（BDD）和零抑制二进制决策图（ZDD）？我知道networkx可以干净地处理DAG，但是我正在寻找...

Answer 1

是。 Graphillion应该做到这一点。