de.learnlib:learnlib-dhc (maven): The Direct Hypothesis Construction algorithm for active learning of Mealy machines
Keywords: automata-learning-algorithms|java|java-library|machine-learning