vkremneva/SAT-solver
A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.
C++
No issues in this repository yet.
A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.
C++
No issues in this repository yet.