【文件属性】：
文件名称：nettlesome：Python中的简化语义推理
文件大小：66KB
文件格式：ZIP
更新时间：2021-02-23 12:23:07
Python
麻木的
Python中的简化语义推理
【文件预览】：
nettlesome-master
----requirements-dev.txt(178B)
----docs()
--------conf.py(2KB)
--------make.bat(795B)
--------Makefile(634B)
--------index.rst(814B)
----requirements-docs.txt(87B)
----readme.md(181B)
----tests()
--------test_context.py(11KB)
--------test_predicates.py(7KB)
--------conftest.py(13KB)
--------test_facts.py(25KB)
--------test_statements.py(42KB)
--------test_explanations.py(1KB)
--------test_terms.py(4KB)
--------__init__.py(0B)
--------test_groups.py(16KB)
--------test_doctrines.py(7KB)
--------test_comparisons.py(15KB)
----nettlesome()
--------statements.py(7KB)
--------predicates.py(28KB)
--------formatting.py(263B)
--------terms.py(2KB)
--------comparable.py(42KB)
--------__init__.py(246B)
--------explanations.py(2KB)
--------entities.py(2KB)
--------doctrines.py(784B)
--------groups.py(19KB)
--------factors.py(285B)
----setup.cfg(343B)
----requirements.txt(31B)
----license.md(20KB)
----setup.py(916B)
----.gitignore(233B)