automata-lib
