/CDCL-based-SAT-Solver

Implementation of basic CDCL-based SAT solver in Python

Primary LanguagePython

Stargazers