@evil : c'est ça. Sauf que des fois, bruteforcer est plus rapide (ou prend un temps insignifiant) que de procéder de manière intelligente. Ceci dit je fait pas bruteforce comme un porc : à chaque fois que je place un nombre avec le bruteforce, je fais les déductions logiques qu'on peut en déduire avant de bruteforcer le reste, ce qui fait que c'est instantané au lieu de prendre une dixaine de secondes.
C'est juste que mes déductions logiques sont restreintes à des trucs simples (qui suffisent pour résoudre une bonne majorité des sudoku tout de même.), et que je pourrais ajouter des trucs plus intelligents (mais plus chauds à programmer).
Par exemple dans l'exemple que j'ai screenshoté :
les 3 cases du milieu peuvent contenir 2/3/6, 2/6 et 2/3/6. A elles trois elles contiennent donc un 2, un 3 et un 6, et je peux donc virer les autres 2/3/6 de la ligne et de la case centrale, ce qui me dit par exemple que le nombre dans la case à gauche au milieu, en dessous du 1 est un 7.