This artifact provides the implementation of the L# algorithm as described in the paper "A New Approach for Active Automata Learning Based on Apartness" (https://doi.org/10.1007/978-3-030-99524-9_12) by Frits Vaandrager, Bharat Garhewal, Jurriaan Rot, and Thorsten Wißmann.

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