Skip to content

GitLab

Explore

Sign in

I

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

Loading