Infrastructure and core interfaces of LearnLib

Caches to avoid posing duplicate membership queries

Basic support for test driver creation

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

A collection of basic algorithm for approximating equivalence queries

Membership and equivalence oracles using an automaton model as backend

This artifact contains the API of AutomataLib, which mainly consists of interfaces

The core artifact of AutomataLib. This library contains concrete implementations for many

This artifact provides various common utility operations for analyzing and manipulating

This utility artifact contains methods that facilitate interaction with the