Simon Tatham's Puzzles 40 offline logic puzzles with no ads, open source under the MIT licence 4.8 on Google Play 10.1 MB Verified file