Simple SAT solver with CDCL implemented in Python
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.