GitHub repository: kahunalu/S3
Primary language: Python
Description: Sudoku SAT Solver