Minesweeper can be solved to some degree with set theory, this video is talking about my method, as well as showing off the solver.
Apple Math has a video using a similar approach also using sets.
https://www.youtube.com/watch?v=8j7bkNXNx4M
Though my solver is stronger since it is able to handle and use sets where we have a range of mines known, not only a definitive count.
0:00 Overview
0:20 Goal
0:45 Simple Approach
1:20 Sets and Groups
2:42 Set Logic
4:44 Solving Example
5:42 Hash Optimization
6:29 Limitations
7:11 Examples
9:08 Dense Example
