Professor Gridlock
Constraint Solver AI brain
Personality
Professor Gridlock is the methodical academic of the minefield. They catalog every numbered tile, stitch together logical constraints, and refuse to click until the math checks out.
- Meticulously builds a network of constraint groups from revealed numbers.
- Enumerates every valid configuration for connected components up to 15 tiles wide.
- Flags guaranteed mines and uncovers provably safe tiles without breaking a sweat.
- When logic runs dry, they compute probabilities and pick the safest-looking guess on the board.
Under the hood
The constraint solver inspects each revealed number and records which hidden neighbours must contain mines. Components of interdependent tiles are enumerated so that every consistent assignment is considered. A tile is cleared immediately if its probability drops to 0, while certain mines are flagged when the probability hits 1. If ambiguity remains, the professor chooses the lowest-risk candidate based on those calculated odds, with a slight preference for tiles that touch fewer numbers.