• 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) avec

  opam install qbf touist
  

Une version de touist >= 3.2.0 est requise.