sudokuTransforme débuggé, devrait marcher maintenant
Ajout d'une grille de sudoku au format : sudok
Maintenant ça devrait marcher... Mais paye le nombre de variables/clauses avec tseitin :(
bugfixes... ça marche sudoku