Jeu des jetons colorés

puzzle games.

Jeux de réflexion.

Pour chaque couleur, il faut enlever tous les jetons carrés ou tous les ronds. Il doit rester au moins un jeton dans chaque boite.

Ce jeu est une représentation ludique du problème SAT : déterminer si une formule propositionnelle sous forme CNF est cohérente.

( Explications ici http://arxiv.org/abs/1511.00813 )

D'après une idée de Olivier Bailleux.

Application développée dans le cadre d'un projet de la licence professionnelle SIL de l'Université de Bourgogne.