3 lines (3 loc) · 177 Bytes

sat_solver

SAT solver, sudoku solver and minimal sudoku generator for CS202(Logic for Computer Science) assignments. This repository is a joint work by Pratyush Singh and me.