dpll-sat:使用DPLL算法的CompleteSystematic SAT解算器的简单Python实现

【文件属性】：

文件名称：dpll-sat:使用DPLL算法的CompleteSystematic SAT解算器的简单Python实现

文件大小：14KB

文件格式：ZIP

更新时间：2024-06-06 10:02:55

python sat-solver dpll-algorithm Python

完整的SAT解算器练习 简单的完整SAT求解器。 您可以在找到该存储库的副本。 解算器 $ python solvers/ *[] *仅适用于base_sat.py 解算器列表： solver_exp.py：实验性求解器（太慢，无法正常工作） original_dpll.py：基本求解器，随机选择 base_sat.py：具有更多分支启发式方法的求解器 linked_sat.py：具有链表结构的求解器（仅适用于JW分支启发式） race_sat.py：具有2面jeroslow wang分支启发式的base_solver noflags_linked_sat.py：不带标志的linked_sat.py的更快版本 base_sat分支启发法 FRE （弗里曼（Freeman））

【文件预览】：
dpll-sat-master
----utils()
--------test_benchmarks.sh(584B)
--------rnd_cnf_gen.py(4KB)
--------sat_val.py(1KB)
----solvers()
--------linked_sat.py(7KB)
--------noflags_linked_sat.py(5KB)
--------race_sat.py(3KB)
--------class_sat.py(5KB)
--------base_sat.py(6KB)
--------original_dpll.py(3KB)
----LICENSE(1KB)
----README.md(2KB)
----.gitignore(1KB)