Other programs to help solve puzzles