net.automatalib:automata-incremental (maven):  A library for incremental automata construction. This artifact contains algorithms for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and Mealy machines from a finite, incrementally growing set of example inputs/outputs. 
Keywords: automata|graph|java|java-library|transition-systems