DPLL SAT Solver

A SAT solver that implements the Davis-Putnam-Logemann-Loveland (DPLL) algorithm. The solver is implemented in C++.

Next
Previous