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

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.