net.automatalib:automata-serialization-core (maven): Generic automata serialization core
Keywords: automata|graph|java|java-library|transition-systems