Projet universitaire autour du jeu de logique Akari, aussi appelé Light Up. Le programme lit une grille, transforme les règles du jeu en clauses logiques au format CNF/DIMACS, puis utilise un solveur ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results