價格:免費
更新日期:2016-03-29
檔案大小:1.4M
目前版本:1.0
版本需求:Android 4.0.3 以上版本
官方網站:mailto:remi.derom@gmail.com
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.