Home » de.learnlib » learnlib-adt » 19.0.0 » Changes

LearnLib :: Algorithms :: ADT » 19.0.0

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.
Version19.0.0compared with

Version Details

0.18.0 19.0.0
Release dateFeb 06, 2025Aug 13, 2026
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (15)

0.18.0 19.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated de.learnlib » learnlib-api0.18.019.0.0
~ Updated de.learnlib » learnlib-cache0.18.019.0.0
~ Updated de.learnlib » learnlib-counterexamples0.18.019.0.0
~ Updated de.learnlib » learnlib-util0.18.019.0.0
~ Updated de.learnlib.testsupport » learnlib-learner-it-support0.18.019.0.0
~ Updated de.learnlib.testsupport » learnlib-learning-examples0.18.019.0.0
~ Updated de.learnlib.testsupport » learnlib-test-support0.18.019.0.0
~ Updated net.automatalib » automata-api0.12.013.0.0
~ Updated net.automatalib » automata-commons-smartcollections0.12.013.0.0
~ Updated net.automatalib » automata-commons-util0.12.013.0.0
~ Updated net.automatalib » automata-core0.12.013.0.0
~ Updated net.automatalib » automata-util0.12.013.0.0
~ Updated org.checkerframework » checker-qual3.48.34.2.1
~ Updated org.slf4j » slf4j-api2.0.162.0.18
~ Updated org.testng » testng7.10.27.12.0

Test Changes (5)

0.18.0 19.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated de.learnlib » learnlib-drivers-simulator0.18.019.0.0
~ Updated de.learnlib » learnlib-equivalence-oracles0.18.019.0.0
~ Updated de.learnlib » learnlib-membership-oracles0.18.019.0.0
~ Updated de.learnlib » learnlib-statistics0.18.019.0.0
~ Updated net.automatalib » automata-serialization-dot0.12.013.0.0