是否像nuth第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附带的）。