de.learnlib:learnlib-core (maven): Infrastructure and core functionalities of LearnLib
Keywords: automata-learning-algorithms|java|java-library|machine-learning