GitHub - shuaipeng123/SatSolver: SAT Solver in C++

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
build		build
minisat		minisat
CMakeLists.txt		CMakeLists.txt
CMakeLists.txt~		CMakeLists.txt~
Proposition		Proposition
Proposition.cpp		Proposition.cpp
Proposition.h		Proposition.h
Proposition.h~		Proposition.h~
binaryS.cpp		binaryS.cpp
ece650-a2.cpp		ece650-a2.cpp
ece650-a2.cpp~		ece650-a2.cpp~
test_sat.cpp		test_sat.cpp
test_sat.cpp~		test_sat.cpp~
testcase_reduction.txt		testcase_reduction.txt
testcase_reduction.txt~		testcase_reduction.txt~