4.0.0 de.learnlib learnlib-algorithms-active-parent 0.18.0 ../pom.xml learnlib-lambda LearnLib :: Algorithms :: Lambda This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" (https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen. de.learnlib learnlib-api de.learnlib learnlib-util net.automatalib automata-api net.automatalib automata-commons-util net.automatalib automata-core 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-learning-examples 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.lambda=net.automatalib.util org.apache.maven.plugins maven-failsafe-plugin @{argLine} --add-reads=de.learnlib.algorithm.lambda=net.automatalib.util