Arcade 04 · Constraint propagation
Minesweeper
Click a square to clear it, right-click to flag a mine. Each number counts the mines it touches.
How the solver works
Three escalating stages: single-constraint rules, then subset subtraction (which cracks the 1‑2‑1 patterns), then exact enumeration of every consistent mine arrangement on the frontier. When no deduction exists the solver says so and shows the real odds — it never dresses a guess up as certainty.
Click to reveal · right-click or Shift+click to flag · H hint · Space auto-solve Tap to reveal · long-press to flag
