Minesweeper (Windows) - Goal

Goal

The goal of the game is to uncover all the squares that do not contain mines (with the left mouse button) without being "blown up" by clicking on a square with a mine underneath. The location of the mines is discovered by a process of logic. Clicking on the game board will reveal what is hidden underneath the chosen square or squares (a large number of blank squares may be revealed in one go if they are adjacent to each other). Some squares are blank but some contain numbers (1 to 8), each number being the number of mines adjacent to the uncovered square. To help avoid hitting a mine, the location of a suspected mine can be marked by flagging it with the right mouse button. The game is won once all blank squares have been uncovered without hitting a mine, any remaining mines not identified by flags being automatically flagged by the computer. However, in the event that a game is lost and the player mistakenly flags a safe square, that square will either appear with a red X covering the mine (denoting it as safe), or just a red X (also denoting it as safe).

The game can be reduced into a set of algebraic statements with binary variables which take a value from the pair (mine does not exist, mine exists). The distinctive feature of minesweeper from the board games with algebra of binary variables is the randomness at the initial stage and at some intermediate stages.