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
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