GitHub repository: shanmu9898/CDLC-SAT-Solver
Primary language: Java
Description: SAT solver for CNF formulas