文件名称：DPLL:非常简单易懂的DPLL卫星求解器
文件大小：9KB
文件格式：ZIP
更新时间：2024-05-03 08:22:25
C++
锁相环 一个非常简单的DPLL Sat解算器，易于理解。 1.如何建造 步骤1：下载源代码。 例如， $ git clone https://github.com/jacky860226/DPLL.git 第2步：转到项目根目录并通过 $ cd DPLL $ make 1.1。 依存关系 （版本> = 7.5.0）或其他有效的c ++编译器 2.如何运行 $ ./DPLL [<input file>] 如果没有<input file> ，它将使用标准输入。 2.1输入格式 输入的是SAT公式，格式为DIMACS。 可以在找到详细说明。 2.2输入示例 输入： p cnf 4 5 1 -2 0 2 -3 0 3 -4 0 1 4 0 -1 0 输出： SAT -1 -2 3 4 5 0
【文件预览】：
DPLL-main
----.clang-format(77B)
----.gitignore(28B)
----Makefile(621B)
----src()
--------include()
--------lib()
--------main.cpp(586B)
----LICENSE(1KB)
----README.md(772B)