I
IA02 TP03
L’objectif de ce TP est de résoudre n’importe quel Sudoku à l’aide d’un solver SAT, via Python.Une description complète de la réécriture d’un Sudoku est accessible sur le site de Gophersat
Rappel : l'instance GitLab de l'UTC n'est pas destinée au stockage de fichiers volumineux (images/vidéos/documents). Pensez également à ne pas pousser avec votre code les dépendances ou résultats des builds/exécutions (préférer la génération d'artifacts par la CI). Merci.
L’objectif de ce TP est de résoudre n’importe quel Sudoku à l’aide d’un solver SAT, via Python.Une description complète de la réécriture d’un Sudoku est accessible sur le site de Gophersat