Simon Tatham's Portable Puzzle Collection is an open-source collection of 42 small single-player puzzle games. Most, if not all of them, can be solved without guessing. You're probably familiar with Mines, but have you ever heard of Bridges, Pearl, Net or Keen?
Puzzles are randomiezed. The difficulty of each game can be adjusted, but once you find your way, solving large puzzles is just a matter of time.
Flatpak : F-Droid : onlineClick links below to learn rules and patterns I discovered: