Package de.learnlib.algorithm.adt

This package (and sub-packages) provides the implementation of the ADT learning algorithm as described in the Master thesis Active Automata Learning with Adaptive Distinguishing Sequences by Markus Frohme.