model-counting:验证模型计数的研究

【文件属性】：
文件名称：model-counting:验证模型计数的研究
文件大小：25KB
文件格式：ZIP
更新时间：2021-04-06 00:39:48
Python 模型计数 该存储库包含基准测试程序，以支持有关经过验证的模型计数的研究。

【文件预览】：
model-counting-main
----.gitignore(2KB)
----README.md(118B)
----translate()
--------iteg.py(4KB)
--------dd.py(15KB)
--------ddtrans.py(3KB)
--------aig.py(5KB)
----LICENSE(1KB)
----benchmarks()
--------simple()
----doc()
--------aig-format.txt(33KB)