This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Algorithms :: DHC | The Direct Hypothesis Construction algorithm for active learning of Mealy machines |
| LearnLib :: Algorithms :: Generic L* | A flexible, optimized version of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Baseline L* | A simple, straightforward implementation of Dana Angluin's L* algorithm |