Added the Automaton library, and a few constraints.