GitHub - JianyuTANG/SAT-Solver: A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

JianyuTANG / SAT-Solver Public

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
tests		tests
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
DPLL.cpp		DPLL.cpp
DPLL.h		DPLL.h
DimacsParser.h		DimacsParser.h
common.h		common.h
main.cpp		main.cpp

About

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

No releases published

No packages published