GitHub repository: smuggzze/SUDOKU-SAT
Primary language: Python
Created: 2025-02-14T14:20:19Z
Description: Solving sudoku via sat and brute force