AxS: 00031Oedipus. The Puzzle Solver.