文件名称：ZulukuSAT:Walksat 算法在 Python 2.7.x 中的实现
文件大小：12.6MB
文件格式：ZIP
更新时间：2024-06-29 19:42:45
Python
ZulukuSAT 解算器
Walksat 算法在 Python 2.7.x 中的实现
注意事项
这个求解器是Walksat算法的一个实现，考虑到可能有一些重复的子句，也可能有一些没有出现在任何子句中的变量。
仅测试使用此项目 (rnd-cnf-gen.py) 中包含的 cnf 随机生成器生成的实例。 目录 benchmarks 包含一些使用此生成器创建的随机实例。 该求解器经过优化以运行此随机生成的实例。
文件race.py 运行测试一些基准的竞赛，每个基准的超时为20 秒。
求解器的主要算法在 zulukusat.py 文件中实现。
如果你想参加比赛，你必须给文件 x 权限： race.py, limits.sh and zulukusat.py
基本用法
您可以使用$ python zulukusat.py
【文件预览】：
ZulukuSAT-master
----.gitignore(702B)
----rnd-cnf-gen.py(4KB)
----zulukusat.py(6KB)
----LICENSE(34KB)
----README.md(970B)
----benchmarks()
--------sat-20-80-3.cnf(957B)
--------600000-500-5.cnf(19KB)
--------z-inst8.cnf(961KB)
--------z-inst1.cnf(494KB)
--------z-inst3.cnf(10.2MB)
--------sat-10-42-3.cnf(452B)
--------inst-6.cnf(140KB)
--------777-7777-7.cnf(247KB)
--------z-inst2.cnf(57KB)
--------inst-7.cnf(8KB)
--------sat-70-300-3.cnf(4KB)
--------z-inst9.cnf(453KB)
--------exemple9999.cnf(493KB)
--------sat-100-425-3.cnf(5KB)
--------3-500000-3.cnf(3.81MB)
--------inst-8.cnf(15KB)
--------z-inst10.cnf(1KB)
--------sat-80-340-3.cnf(4KB)
--------sat-50-215-3.cnf(3KB)
--------unsat-100-500-3.cnf(6KB)
--------unsat-20-100-3.cnf(1KB)
--------z-inst4.cnf(7.51MB)
--------500000-200-3.cnf(5KB)
--------exemple888.cnf(321KB)
--------sat-40-170-3.cnf(2KB)
--------inst-3.cnf(14KB)
--------sat-60-255-3.cnf(3KB)
--------200000-1000-3.cnf(22KB)
--------z-inst6.cnf(599KB)
--------inst-4.cnf(25KB)
--------z-inst5.cnf(3.71MB)
--------inst-1.cnf(4KB)
--------exemple999.cnf(405KB)
--------600000-2000-3.cnf(47KB)
--------inst-5.cnf(3KB)
--------600000-1000-1000.cnf(29KB)
--------z-inst7.cnf(4.49MB)
--------inst-9.cnf(12KB)
--------sat-90-380-3.cnf(5KB)
--------sat-30-130-3.cnf(1KB)
--------inst-2.cnf(7KB)
----race.py(4KB)
----limits.sh(31B)