Bombe

Here is an excerpt from Bombe's Steam description:

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.