cnf_dpll_algo:戴维斯-普特南-洛格曼-拉夫兰（DPLL）算法的实现

[{"title":"（ 7 个子文件 8KB ） cnf_dpll_algo:戴维斯-普特南-洛格曼-拉夫兰（DPLL）算法的实现","children":[{"title":"cnf_dpll_algo-master","children":[{"title":"CNFconverter.py <span style='color:#111;'> 7.98KB </span>","children":null,"spread":false},{"title":"sentences_CNF.txt <span style='color:#111;'> 1.20KB </span>","children":null,"spread":false},{"title":"sentences.txt <span style='color:#111;'> 939B </span>","children":null,"spread":false},{"title":"CNF_satisfiability.txt <span style='color:#111;'> 1.15KB </span>","children":null,"spread":false},{"title":"DPLL.py <span style='color:#111;'> 9.08KB </span>","children":null,"spread":false},{"title":"CNF_sentences_test.txt <span style='color:#111;'> 6.10KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 445B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]