Solve Minesweeper puzzles where each unique situation appears just once. Players identify regions of connected number bubbles based on board clues, then craft rules that mark bombs, clear squares, or generate new regions. A checker verifies rule correctness before auto-applying them indefinitely, eliminating repeats and leaving only tough challenges.
Hide or discard regions with targeted rules, or use hints to reveal determinable squares and strip away clutter. Thousands of levels demand pure deduction, with no guessing required. Casual logic fans who relish formal proofs and progressive board simplification will find endless satisfaction here.
Minesweeper, but you only solve each situation once.
- Regions (number bubbles connected by lines) generated from clues on the board
- Rules act on regions to mark bombs, clear squares or create new regions
- A checker tells you if your rule is formally correct
- Rules are auto applied forever after, resolving the situations you have solved before
- Only the hard situations remain.
- A hint system can mark the determinable squares and remove all unnecessary regions from the board.
- Regions can be hidden or discarded using rules
- Thousands of levels to play, all solvable without guessing.
