/SAT-solver

A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.

Primary LanguageC++

No issues in this repository yet.