GitHub repository: Kienyew/CDCL-SAT-Solver-from-Scratch
Primary language: Python
Description: CDCL SAT Solver from Scratch in Python