[texan]

Does not take all manners of deduction into account.

For instance if there are a 10 unknown spots left on the board, and only two mines left with an unknown location, so there I can limit the the spots that potentially have a mine to the two sets of two spots adjacent to specific numbers, and thus deduce that the uncovered spot adjacent to only uncovered spots must not be a mine.

In such a scenario, the game penalized for me a deduction that it though was a guess. Causing the game to end, but it was impossible for that spot to be a mine!

[oneepic]

+1. I lost the game by clicking on a space that could not have possibly been a mine, based on the # of mines left. If there were a mine there, then the total number of mines would have had to be N+1, not N.

[cbsks]

Mines from Simon Tatham's Portable Puzzle Collection also doesn’t require guessing and does take that case into account:

> you are guaranteed to be able to solve the whole grid by deduction rather than guesswork. (Deductions may require you to think about the total number of mines.)

https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/mine...

[ball_of_lint]

There's a version that fixes this bug (and I think a few others) on the google play store:

https://play.google.com/store/apps/details?id=com.LukeVideck...