资 源 简 介
Principe Général
Un plateau de jeu de squaro vierge ressemble à ceci :
O---O---O---O | 3 | 2 | 2 | O---O---O---O | 2 | 1 | 1 | O---O---O---O | 1 | 0 | 1 | O---O---O---O
C"est une grille de taille n², ou chaque case contient
un nombre compris entre 0 et 4 (inclus). Ce nombre entier
désigne le nombre de coins de la cases (modélisés ici par
des O) qui devrons être noircis à l"état final.
Si on représente les coins (appelés pixels par la suite)
noirs par "@" et les pixels blancs par "O", on aura pour
cette grille à l"état final l"exemple suivant :
@---O---@---@ | 3 | 2 | 2 | @---@---O---O | 2 | 1 | 1 | O---O---O---@ | 1 | 0 | 1 | @---O---O---O
Présentation du projet
Le coeur du projet est de créer un programme capable de
résoudre une grille de Squaro, en utilisant des éléments
de logique propositionnelle. Pour ce faire, les fonctionnalit