Functionality to ease writing test cases for LearnLib

Membership and equivalence oracles using an automaton model as backend

Caches to avoid posing duplicate membership queries

A collection of basic algorithm for approximating equivalence queries

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

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

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