gpt4 book ai didi

处理 BDD 和 ZDD 的 Python 包

转载 作者:行者123 更新时间:2023-12-04 04:14:24 26 4
gpt4 key购买 nike

是否有像 Knuth 第 4 卷中那样处理二元决策图 (BDD) 和零抑制二元决策图 (ZDD) 的 python 包?

我知道 networkx 可以干净地处理 DAG,但我正在寻找可以处理 ZDD 的内部垃圾保存、集合族代数 (Knuth) 的构造、来自其他类型决策图的 BDD 的构造,也许一些原始的 ZDD 和查询(例如采样和计数)。

有一些其他语言的包:JavaC++ . (欢迎编辑扩展此列表。)

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

编辑 2 -- Graphillion ,水门自己推荐的python包in this slides ,可能是规范的答案。特别是当它伴随着这个可爱的tutorial video (随此 backstory 一起提供)。

最佳答案

是的。 Graphillion 应该这样做。

您的 BDD/ZDD 来源是什么?例如,如果说来源是 blif,blif 应该被翻译成 x,然后 x 应该被翻译成 ZDD。

对你来说,你必须弄清楚 x 是什么。

关于处理 BDD 和 ZDD 的 Python 包,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61030826/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com