de.learnlib:learnlib-datastructure-pta (maven): Data- and utility classes for Prefix-Tree-Acceptors
Keywords: automata-learning-algorithms|java|java-library|machine-learning