Download learnlib-ttt JAR file with all dependencies

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.

Infrastructure and core interfaces of LearnLib

The Direct Hypothesis Construction algorithm for active learning of Mealy machines