Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System States by Active Learning Algorithms" (https://doi.org/10.1007/978-3-642-28033-7_6) by Oliver Bauer, Johannes Neubauer, Bernhard Steffen, and Falk Howar.

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

A collection of examples of how to use LearnLib