de.learnlib:learnlib-datastructure-ot (maven): Data- and utility classes for Observation Tables
Keywords: automata-learning-algorithms|java|java-library|machine-learning