SAT_project2

the solution of sat project2

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.vscode		.vscode
new		new
sat		sat
test		test
unsat		unsat
DPLL.cpp		DPLL.cpp
DPLL2.cpp		DPLL2.cpp
DPLL2.exe		DPLL2.exe
FileOperations.cpp		FileOperations.cpp
IterationMain.cpp		IterationMain.cpp
README.md		README.md
start.cpp		start.cpp
start.exe		start.exe

Provide feedback