/SudokuSolver

Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'

Primary LanguagePython

No issues in this repository yet.