graphsat:可以识别子句，Cnfs，图，超图和多超级图的python软件包。 该软件包实现了局部图形重写，图形饱和检查，图...
需积分: 9 90 浏览量
2021-04-05
07:24:26
上传
评论
收藏 55KB ZIP 举报
graphsat-main.zip （30个子文件） 
graphsat-main 
mypy.ini 589B sat.py 20KB morphism.py 17KB cnf.py 13KB __init__.py 212B operations.py 8KB README.org 4KB pytest.ini 38B LICENSE 34KB test test_operations.py 725B test_sxpr.py 2KB test_mhgraph.py 2KB test_sat.py 11KB test_cnf_simplify.py 929B __init__.py 159B test_graph.py 2KB test_morphism.py 4KB test_graph_rewrite.py 2KB test_graph_collapse.py 1KB test_cnf.py 8KB test_prop.py 1KB graph_collapse.py 3KB setup.py 1KB mhgraph.py 12KB graph_rewrite.py 10KB cnf_simplify.py 4KB prop.py 3KB graph.py 5KB sxpr.py 3KB .coveragerc 89B资源评论
