Constraint propagation + probability solver · AI Solver
Click to start — avoid the mines!
Right-click to flag. Green = safe, Yellow = mine.
💣 40 mines left✅ 0 cleared
Board State
Mines Total40
Flagged0
Hidden—
Revealed0
Known Safe0
Known Mines0
Session
Games0
Wins0
Losses0
Win Rate—
Algorithm
Step 1: Constraint propagation
If numbered cell has exactly N hidden neighbors = N remaining mines → flag all
If N mines already flagged → reveal rest Step 2: Subset analysis
If constraint A ⊂ constraint B → deduce difference Step 3: Probability estimate
Click lowest-probability cell Limitation: Some boards require guessing