DaveAlsina/SudokuSolver
Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'
Python
No issues in this repository yet.
Solucionador de Sudokus usando lógica proposicional, a través de algoritmos como el 'DPLL' y la transformación de 'Tseitin'
Python
No issues in this repository yet.