When I played the big grid it had one square totally surrounded by mines (a corner as it happens) - one is sovable, two is not (unless both are the same). Just to check that it won't be unsolvable in that way.
Also the 'solvability' algorithm appears to have eliminated the need for several sorts of thinking about the correct answer though I may be wrong - it seems too easy.
Indeed, if there are any completely unreachable squares then they should always be all the same, and their state can be deduced from the overall mines-remaining count. The solver actually does this deduction while laying out the grid, so I'm reasonably confident that it's possible.
It is true that verifying the grids with a solver restricts the required reasoning during play to only those things the solver was capable of. This is unfortunate, but it's that or have your perfectly good Expert game be destroyed on the final click by an unavoidable 50-50 guess; and there are plenty of implementations which provide the latter, so I thought I'd try something different. If you really want Mines to go back to being an ordinary Minesweeper you can always disable the intelligent generation.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Also the 'solvability' algorithm appears to have eliminated the need for several sorts of thinking about the correct answer though I may be wrong - it seems too easy.
It is true that verifying the grids with a solver restricts the required reasoning during play to only those things the solver was capable of. This is unfortunate, but it's that or have your perfectly good Expert game be destroyed on the final click by an unavoidable 50-50 guess; and there are plenty of implementations which provide the latter, so I thought I'd try something different. If you really want Mines to go back to being an ordinary Minesweeper you can always disable the intelligent generation.