Minesweeper
Minesweeeper is a puzzle where each cell is a mine, empty, unknown, or number. The goal of the puzzle is to determine if each unknown cell must contain a mine or be empty according to the rules.
The cycle of tiles is { Unset, Mine, Empty }. Left clicking on the tile will advance the cycle by one state (Unset -> Mine or Mine -> Empty or Empty -> Unset) and right clicking on a tile will detract the cycle by one state (Empty -> Mine or Mine -> Unset or Unset -> Empty).
- Each Unset cell must be changed to either Mine or Empty
- Each Number cell (cell with a number 1-8) must see that number of Mine cells. A cell sees its eight neighbors.
- Every Mine cell must see at least one Number cell.
For at least one of the numbers that the an unset cell sees, the amount of unset tiles plus the number of mine tiles in the number cell's vision must be equal to its number for the cell to be a mine.
For at least one of the numbers that an unset cell sees, the amount of mines that the number sees must be equal to its number for the unset cell to be empty. It is also possible that the cell does not see any number cells, which also must mean it is empty.
Adjacent cells with numbers have the same difference in mine in their unshared regions as the difference in their numbers
Adjacent cells with numbers have the same difference in mine in their unshared regions as the difference in their numbers
An unknown cell must either contain a mine or be empty
Every possible way for the unknown cells around a number to be filled with a mine or empty according to its number
A number cell can not have less than it's number of mines around it
A number cell can not have more than it's number of mines around it
A mine cell must be able to see a number cell