J'ai voulu m'essayer à l'écriture d'un résolveur capable de résoudre TOUS les sudokus sur les principes de programmation par contraintes et en backtracking.
Ce codage est un peu rapide, manque de commentaires, mais est pleinement fonctionnel car je l'ai testé avec les plus difficiles existants que j'ai pu trouver (Al Escargot, ...).
ANALYSER permet de visualiser les possibilités après la première passe de simplification.
RESOUDRE permet de résoudre le sudoku, soit en résolution rapide par tour (méthode un peu bourrin), soit en résolution lente par tour (moins de tours, mais un peu plus lente par tour).
Il permet également de mémoriser les sudokus résolus, avec leurs statistiques de résolution et de les consulter ultérieurement.
Essayez le largement et si vous trouvez des sudokus qu'il ne sait pas résoudre, merci de me les faire parvenir.