Il s’agit bêtement de l’application systématique des contraintes. Chaque fois qu’une seule valeur est possible pour une case elle est affichée et la propagation des contraintes se poursuit.
Si on arrive à un cas où les contraintes sont toutes appliquées sans unicité de la solution, on fait alors une supposition de valeur pour une des cases et on recommence le processus.
Ainsi, même en cas de solutions multiples (grille incomplète ou fausse), on est en mesure d’afficher les solutions (pour des raisons d’efficacité le nombre de solutions affichées est cependant limité).
Il s’agit bêtement de l’application systématique des contraintes. Chaque fois qu’une seule valeur est possible pour une case elle est affichée et la propagation des contraintes se poursuit.
Si on arrive à un cas où les contraintes sont toutes appliquées sans unicité de la solution, on fait alors une supposition de valeur pour une des cases et on recommence le processus.
Ainsi, même en cas de solutions multiples (grille incomplète ou fausse), on est en mesure d’afficher les solutions (pour des raisons d’efficacité le nombre de solutions affichées est cependant limité).