CDCL SAT Solver

A SAT solver that implements the Conflict-Driven Clause Learning (CDCL) algorithm. The solver is implemented in C++.