Library for automatons e.g. Büchi Automata, Finite State Automata etc.