de.learnlib:learnlib-build-tools-parent (maven): Tools and resources required for building LearnLib
Keywords: automata-learning-algorithms|java|java-library|machine-learning