Soluciona el sudoku planteado en la interfaz de usuario (propia de este módulo 'SudokuSolver') usando lógica proposicional, transformación de 'Tseitin' y el algoritmo 'DPLL'.
Escriba en la terminal según el tamaño del Sudoku que va a resolver:
$ python3 guardar_reglas_3x3.py
o escriba:
$ python3 guardar_reglas_2x2.py
Posteriormente ejecute:
$ python3 main.py
Seleccione el tamaño del sudoku, rellénelo y oprima 'solve', si existe solución la interfaz mostratrá en verde 'Satisfiable' y rellenará el recuadro de sudoku, de lo contrario pondrá en rojo 'Unsatisfiable'.
Por cada ejecución recuerde oprimir 'clear all', si se producen errores, pare la ejecución con 'CNTRL + C' y reincie el programa.
Una demostración del algoritmo en funcionamiento se encuentra en este video: Video 👈