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