GitHub repository: rohitjha/sudoku-dimacs-creator
Primary language: Python
Description: Generate DIMACS input for MiniSat and solve Sudoku problems of NxN size