Collection of many single-player open-source logic puzzle games, free, playable offline. All generated on demand with adjustable size/difficulty, so you'll never run out of puzzles.