automaton-libs