net.automatalib:automata-serialization-taf (maven): (De-)Serializers for the Textual Automaton Format
Keywords: automata|graph|java|java-library|transition-systems