Utilities for simulating SULs

Support classes for easily writing integration test cases for learning algorithms

A collection of membership oracles

A collection of equivalence oracles

Support classes for easily writing unit tests for various components of LearnLib

Caches to avoid posing duplicate membership queries

Filters for collecting statistical data

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including variations ...

Support for posing membership queries in parallel

This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" ...

An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all ...