Name		Name	Last commit message	Last commit date
CDCL_tree.cpp		CDCL_tree.cpp
CDCL_tree_threading.cpp		CDCL_tree_threading.cpp
DPLL.cpp		DPLL.cpp
DPLL_tree.cpp		DPLL_tree.cpp
README.md		README.md
input_test.txt		input_test.txt
makefile		makefile

Repository files navigation

SAT-Solver

About

Created DPLL and CDCL SAT solvers with various methods

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages