Core library for AutomataLib, providing concrete implementations of automaton models and abstract base classes.