Fête de la science 2006

Une nouvelle version de la démo de Sudoku basée sur SAT de Ivor Spence a été développée dans le cadre de la fête de la science 2006.

Parmi les nouveautés :

• Support des X-Sudokus
• Impression des grilles
• Import/export des grilles
• Interface graphique améliorée

Installation

Plusieurs solutions s'offrent à vous pour lancer cette démo :

• Utiliser l'applet disponible sur la page d'Ivor Spence (en anglais) : l'application ne sera pas installée sur votre machine
• Installer la démo à l'aide de Java Web Start : l'application sera installée sur votre machine
• Récupérer l'application sur le site d'ObjectWeb (fichier sudoku2.1.jar) : il suffit de double cliquer dessus pour la lancer

Dans tous les cas, vous devez avoir la dernière version de la machine virtuelle Java pour l'installer.

Quelques conseils

• La génération de sudokus 25x25 ou 36x36 nécessite du temps et de la mémoire. Lancer la démo "à la main" comme suit :

  java -Xmx500M -jar sudoku2.1.jar

• Les options exotiques ne produisent pas de réels sudokus. L'option unique garantit que la grille d'admet qu'une solution. L'option complet est décrite (en anglais) sur la page d'Ivor Spence.

Voir aussi

Cette application est une simple démo des possibilités de la bibliothèque SAT4J. Pour ceux qui recherchent une application plus didactique pour apprendre à résoudre des Sudokus, allez voir le Sudoku de Narendra Jussien par exemple. L'approche utilisée est similaire (programmation par contraintes à l'aide de Choco) mais un effort particulier a été fait sur l'ergonomie et l'apprentissage des sudokus (disponibles en 9x9 uniquement). Cette application est aussi développée en Java.