de.learnlib:learnlib-datastructure-dt (maven): Data- and utility classes for Discrimination Trees
Keywords: automata-learning-algorithms|java|java-library|machine-learning