4.0.0 de.learnlib learnlib-algorithms-active-parent 0.18.0 ../pom.xml learnlib-lsharp LearnLib :: Algorithms :: L# 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. de.learnlib learnlib-api de.learnlib learnlib-util net.automatalib automata-api net.automatalib automata-core net.automatalib automata-commons-util de.learnlib.tooling annotations org.checkerframework checker-qual de.learnlib learnlib-drivers-simulator test de.learnlib learnlib-equivalence-oracles test de.learnlib learnlib-membership-oracles test de.learnlib.testsupport learnlib-learner-it-support de.learnlib.testsupport learnlib-test-support net.automatalib automata-serialization-dot test net.automatalib automata-util test org.testng testng org.apache.maven.plugins maven-surefire-plugin @{argLine} --add-reads=de.learnlib.algorithm.lsharp=net.automatalib.util