Recommend the Android port as well, available on F-Droid: https://chris.boyle.name/projects/android-puzzles/