A Computerized Solver for Logic Mazes