Create a New File

Sistema capaz de resolver un sudoku en prolog.

El programa se ocupa de generar las clausulas necesarias para llamar a PicoSAT y resolver el problema.