文件名称：PySDD:Sentential Decision Diagrams（SDD）的Python软件包
文件大小：470KB
文件格式：ZIP
更新时间：2024-06-15 07:32:26
python cython model-counting sdd weighted-model-counting
PySDD Python包装程序包，用于交互使用 。 完整文档可在。 依存关系 Python> = 3.6 赛顿 可选的： cysignals 麻木 确保安装了正确的开发工具： C编译器（请参阅 ） 包含Python头文件和静态库的Python开发版本（例如libpython3-dev，python-dev等） 安装 $ pip install PySDD Python包 包装器可以用作Python包，并允许交互使用。 以下示例为公式a∧b ∨ b∧c ∨ c∧d构建SDD。 from pysdd . sdd import SddManager , Vtree , WmcManager vtree = Vtree ( var_count = 4 , var_order = [ 2 , 1 , 4 , 3 ], vtree_type = "balanced" ) sdd
【文件预览】：
PySDD-master
----setup.py(8KB)
----.gitignore(193B)
----pysdd()
--------sddapi_c.pxd(11KB)
--------__init__.py(23B)
--------io_c.pxd(679B)
--------wmcstochastic.py(7KB)
--------cli.py(9KB)
--------fnf_c.pxd(431B)
--------util.py(15KB)
--------lib()
--------iterator.py(10KB)
--------__main__.py(382B)
--------compiler_c.pxd(1KB)
--------sdd.pyx(78KB)
--------weight_optimization_c.pxd(729B)
----requirements.txt(22B)
----Makefile(890B)
----.readthedocs.yml(116B)
----pyproject.toml(144B)
----MANIFEST.in(59B)
----LICENSE(594B)
----setup.cfg(34B)
----examples()
--------test-1.py(738B)
--------wmc-1.py(1KB)
--------test-2.py(1KB)
--------test-4.py(2KB)
--------test-5.py(2KB)
--------test-3.py(1008B)
--------input()
----notebooks()
--------perm_examples.ipynb(21KB)
--------examples.ipynb(417KB)
----README.rst(6KB)
----tests()
--------test_vtree.py(832B)
--------test_minimize.py(3KB)
--------rsrc()
--------test_iterator.py(5KB)
--------test_wmcstochastic.py(3KB)
--------test_psdd.py(632B)
--------test_util.py(992B)
--------test_nnf.py(2KB)
----pysdd-cli.py(369B)
----.gitattributes(55B)
----docs()
--------classes()
--------Makefile(602B)
--------index.rst(1KB)
--------conf.py(5KB)
--------make.bat(809B)
--------examples()
--------usage()