Theory of Computation Spring 2013 project. Maze generation and solving using various algorithms.