文件名称：sat-solver:C++ 中的简单随机 3-SAT 求解器。 2015年
文件大小：241KB
文件格式：ZIP
更新时间：2024-07-10 07:24:33
C++
卫星求解器 C++ 中的简单随机 3-SAT 求解器。 2015 年。 编译 在安装目录上运行make 。
【文件预览】：
sat-solver-master
----resultats.txt(1KB)
----tests()
--------vars-250-1.cnf(16KB)
--------vars-200-3.cnf(12KB)
--------vars-200-1.cnf(12KB)
--------vars-100-9.cnf(5KB)
--------vars-300-1.cnf(19KB)
--------vars-300-6.cnf(19KB)
--------vars-100-4.cnf(6KB)
--------vars-200-10.cnf(12KB)
--------vars-300-10.cnf(19KB)
--------vars-150-1.cnf(9KB)
--------vars-250-10.cnf(16KB)
--------vars-100-2.cnf(6KB)
--------vars-200-5.cnf(12KB)
--------vars-200-4.cnf(12KB)
--------vars-150-2.cnf(9KB)
--------vars-200-2.cnf(12KB)
--------vars-300-8.cnf(19KB)
--------vars-250-2.cnf(16KB)
--------vars-100-1.cnf(6KB)
--------vars-300-2.cnf(19KB)
--------vars-150-10.cnf(9KB)
--------vars-300-5.cnf(19KB)
--------vars-100-8.cnf(6KB)
--------vars-100-3.cnf(6KB)
--------vars-100-5.cnf(6KB)
--------vars-100-10.cnf(6KB)
--------vars-250-5.cnf(16KB)
--------vars-250-8.cnf(16KB)
--------vars-200-8.cnf(12KB)
--------vars-150-6.cnf(9KB)
--------vars-150-8.cnf(9KB)
--------vars-300-3.cnf(19KB)
--------vars-250-3.cnf(16KB)
--------vars-150-7.cnf(9KB)
--------vars-150-3.cnf(9KB)
--------vars-300-4.cnf(19KB)
--------vars-250-4.cnf(16KB)
--------vars-250-9.cnf(16KB)
--------vars-150-5.cnf(9KB)
--------vars-300-9.cnf(19KB)
--------vars-200-7.cnf(12KB)
--------vars-100-6.cnf(6KB)
--------vars-250-7.cnf(16KB)
--------vars-150-9.cnf(9KB)
--------vars-300-7.cnf(19KB)
--------vars-200-6.cnf(12KB)
--------vars-100-7.cnf(6KB)
--------vars-250-6.cnf(16KB)
--------vars-200-9.cnf(12KB)
--------vars-150-4.cnf(9KB)
----li-results.sh(872B)
----.gitignore(259B)
----Makefile(106B)
----resum.txt(3KB)
----solver.cpp(6KB)
----README.md(113B)