IA02 TP03

Project information

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

9 Commits
1 Branch
0 Tags

README

Created on

April 05, 2022

Copy SSH clone URLgit@gitlab.utc.fr:jkociano/ia02-tp03.git
Copy HTTPS clone URLhttps://gitlab.utc.fr/jkociano/ia02-tp03.git

Loading