GitHub repository: milairhu/SAToku
Primary language: Python
Description: SAT solver for sudoku grids, using Gophersat