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...