-
Le fichier
allumettes2.touist
contient le codage du problème du jeu de Nim simplifié (le joueur peut choisir 1 ou 2 allumettes) en QBF. -
Le script
jouer.sh
permet de jouer en suivant une stratégie gagnante pour le joueur 0 (le joueur qui commence).jouer.sh -h
permet de voir toutes les options possibles. Pour utiliser ce script, installez touist (avec qbf) avecopam install qbf touist
Une version de touist
>= 3.2.0 est requise.