A collection of basic algorithm for approximating equivalence queries

Support classes for easily writing integration test cases for learning algorithms

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk ...

Archetype which includes all LearnLib dependencies

A flexible, optimized version of Dana Angluin's L* algorithm

A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

Archetype for a typical LearnLib setup, including the most commonly used dependencies

A collection of examples of how to use LearnLib