GitHub - dplisek/SAT

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
data		data
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
SATClause.cpp		SATClause.cpp
SATClause.h		SATClause.h
SATEvaluation.cpp		SATEvaluation.cpp
SATEvaluation.h		SATEvaluation.h
SATInstance.cpp		SATInstance.cpp
SATInstance.h		SATInstance.h
main.cpp		main.cpp