A puzzle solving engine that is capable of solving Einstein's Riddle-style puzzles, if they are phrased under the Backnus-Naur Form. This project was created for the University of California, Berkeley Fall 2012 class Computer Science 61B.