Functionality to ease writing test cases for LearnLib

Caches to avoid posing duplicate membership queries

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 ...

Basic support for test driver creation

Membership and equivalence oracles using an automaton model as backend

A collection of basic algorithm for approximating equivalence queries

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

A simple, straightforward implementation of Dana Angluin's L* algorithm