de.learnlib:learnlib-parent (maven): A framework for active automata learning and experimentation
Keywords: automata-learning-algorithms|java|java-library|machine-learning