Module de.learnlib.algorithm.adt

module de.learnlib.algorithm.adt
This module provides the implementation of the ADT learning algorithm as described in the Master thesis Active Automata Learning with Adaptive Distinguishing Sequences by Markus Frohme.

This module is provided by the following Maven dependency: 

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-adt</artifactId>
   <version>${version}</version>
 </dependency>