CDCL SAT Solver Sukrut Rao Code A SAT solver that implements the Conflict-Driven Clause Learning (CDCL) algorithm. The solver is implemented in C++. sat solver cdcl c++