The Maze Solver program uses a backtracking algorithm to determine if a mouse can escape from a maze. It systematically tries all routes through the maze and retraces back its path when it reaches a dead end. If all routes are exhausted, the program determines that the mouse is trapped.