Infrastructure and core interfaces of LearnLib

A collection of membership oracles

A collection of utility methods for learning setups (oracle wrappers, etc.)

Infrastructure and core functionalities of LearnLib

A collection of algorithms for handling counterexamples in automata learning

A collection of equivalence oracles

Utilities for simulating SULs

Caches to avoid posing duplicate membership queries

Membership and equivalence oracles using an automaton model as backend

Module for data structures shared by multiple learning algorithms of LearnLib