Skip to content
I

IA02 TP03

Project ID: 10628

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