A convinent source of information about this is going to be Simon Tatham's excellent puzzle suite. Most the puzzles are built to ensure a solution without gues

A convinent source of information about this is going to be Simon Tatham's excellent puzzle suite. Most the puzzles are built to ensure a solution without guessing. https://www.chiark.greenend.org.uk/~sgtatham/puzzles/doc/mines.html#mines https://www.chiark.greenend.org.uk/~sgtatham/puzzles/doc/min... https://www.chiark.greenend.org.uk/~sgtatham/puzzles/ https://www.chiark.greenend.org.uk/~sgtatham/puzzles/ They're all open source and I believe available on iOS as well as android for free for mobile users too.