Implementation of CDCL SAT solver in Python

C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.

a set of Boolean logic functions and SAT solvers