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