DPLL SAT Solver Sukrut Rao Code A SAT solver that implements the Davis-Putnam-Logemann-Loveland (DPLL) algorithm. The solver is implemented in C++. sat solver dpll c++