Puzzles solved by CaSpEr