Artifacts using learnlib-statistics version 0.13.1

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

Caches to avoid posing duplicate membership queries

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