Some tools for solving MIT Mystery Hunt puzzles