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 👈