net.automatalib:automata-serialization-fsm (maven): Deserializers for the Finite State Machine format
Keywords: automata|graph|java|java-library|transition-systems