4.0.0 de.learnlib learnlib-algorithms-active-parent 0.16.0 ../pom.xml learnlib-adt LearnLib :: Algorithms :: ADT The ADT Algorithm. Uses adaptive distinguishing trees (a generalization of adaptive distinguishing sequences) to separate hypothesis states and focuses on minimizing the amount of resets during the learning process. de.learnlib learnlib-api de.learnlib learnlib-counterexamples de.learnlib learnlib-util net.automatalib automata-api net.automatalib automata-core net.automatalib automata-util net.automatalib automata-commons-util org.checkerframework checker-qual com.github.misberner.buildergen buildergen de.learnlib learnlib-drivers-simulator test de.learnlib.testsupport learnlib-learner-it-support de.learnlib.testsupport learnlib-learning-examples de.learnlib learnlib-membership-oracles test net.automatalib automata-serialization-dot test org.testng testng