Lancez une nouvelle partie en choisissant le niveau de difficulté
Besoin d'un coup de main ?
Vous avez choisi le niveau "trop dur"
Attention, une ligne ne contient que des cases rouges !
Bravo, vous avez gagné !
Règles du jeu

La partie est gagnée quand il y a au moins une case verte sur chaque ligne. Il suffit de cliquer sur un nombre pour que toutes les cases contenant ce nombre deviennent vertes. Les cases contenant l'opposé de ce nombre passent alors en rouge. Il suffit de recliquer sur une case pour qu'elle perde sa couleur.

signale les lignes qui ne contiennent pas encore de case verte.

signale les lignes où il n'y a plus qu'une possibilité d'obtenir une case verte.

signale les lignes qui sont complètement rouges.

cliquez sur cette flèche pour annuler votre dernier choix
cliquez sur ce feu pour demander l'avis de l'oracle (vert=vous êtes sur la bonne voie, rouge=vous êtes dans une impasse, changez vos dernier choix)
-67-1
-2-18
7-4-3
-249
-12-7
-8-67
8-9-5
-4-6-2
143
541
73-2
-48-9
-368
9-36
-8-2-4
-4-61
-6-4-8
-193
-361
6-8-7
83-5
-762
-5-42
4-6-5
-736
493
-9-5-6
-3-8-2
-5-1-9
4-5-9
97-5
4-17
7-25
-98-1
-87-6
5-97
-3-9-7
2-1-7
15-7
4-5-1
3-6-5
3-42
-259
-1-5-8
-2-59
4-71
291
6-42
154
6-9-1
-732
-21-4
42-9
-3-57
-3-64
23-7
-3-27
-9-2-3
15-3
385

The SAT Game est une présentation amusante du problème SAT. Ce problème consiste à déterminer si une formule booléenne (sous forme CNF) peut être rendue vraie en choisissant correctement les valeurs des variables booléennes (soit vrai, soit faux) qu'elle contient. Une ligne dans le jeu représente en fait une clause, c'est à dire une disjonction de littéraux (des variables ou leur négation reliées par des OU logiques). Une clause est vraie aussitôt qu'un de ses littéraux est vrai (il est représenté en vert dans le jeu). Comme les clauses sont reliées par des ET logiques, il faut que toutes les clauses soit vraies pour que la formule soit vraie.