automata_tools (cargo): Automata tools. 
Keywords: general-purpose|fundamental