GitHub repository: szeckirjr/sat-sudoku-solving
Primary language: Python
Description: SAT-based Sudoku Solving