Solveur de sudoku

Cet article a été écrit en février 2021, et antidaté à la date de publication du programme décrit.

Les sudokus m'ennuient, mais je me suis demandé comment un ordinateur pourrait les résoudre.