GitHub repository: Azella-Silhovette/PyCDCL-SAT-Toolkit
Primary language: Python
Description: Implements a CDCL SAT solver with watched-literals for efficient propagation and clause learning, alongside a test generator for guaranteed-SAT/UNSAT 3-CNF instances.