使用柏克莱亚BC和派格的桥梁。
py-aiger-abc的Python项目详细描述
美国广播公司
艾格<；->；ABC桥
安装
非Python依赖项
此包当前假定 ABC和 aigtoaig命令安装在 路径。在将来，我们希望自动包含这些内容 依赖关系，但当前需要自行安装。在
Python包
如果您只需要使用aiger_abc，您只需运行：
$ pip install py-aiger-abc
对于开发人员，请注意，此项目使用 poetrypython包/依赖项 管理工具。请熟悉它，然后运行：
$ poetry install
使用
使用aiger_abc的主要入口点是simplify
使用abc来简化AIG的函数。例如，下面我们
演示如何使用aiger_abc来简化以下效率低下的问题
const编码为false。在
importaigerx=aiger.atom('x')f=x^xprint(f.aig)^{pr2}$
importaiger_abcf2=aiger_abc.simplify(f)print(f2.aig)
aag 1 1 0 1 0
2
0
显式地为abc和aigtoaig命令指定
simplify支持显式指定
abc和aigtoaig命令。这很有用
如果您在非标准路径中安装了它们
或者名字。E、 g
f2=aiger_abc.simplify(f,abc_cmd='abc',aigtoaig_cmf='aigtoaig')
- 项目
标签：
欢迎加入QQ群-->： 979659372
