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.
Version19.0.0compared with
Version Details
| 0.18.0 | 19.0.0 | |
|---|---|---|
| Release date | Feb 06, 2025 | Aug 13, 2026 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (12)
| 0.18.0 | 19.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | de.learnlib » learnlib-datastructures | - | 19.0.0 |
| + Added | org.slf4j » slf4j-api | - | 2.0.18 |
| ~ Updated | de.learnlib » learnlib-api | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib » learnlib-util | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib.testsupport » learnlib-learner-it-support | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib.testsupport » learnlib-learning-examples | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib.testsupport » learnlib-test-support | 0.18.0 | 19.0.0 |
| ~ Updated | net.automatalib » automata-api | 0.12.0 | 13.0.0 |
| ~ Updated | net.automatalib » automata-commons-util | 0.12.0 | 13.0.0 |
| ~ Updated | net.automatalib » automata-core | 0.12.0 | 13.0.0 |
| ~ Updated | org.checkerframework » checker-qual | 3.48.3 | 4.2.1 |
| ~ Updated | org.testng » testng | 7.10.2 | 7.12.0 |
Test Changes (5)
| 0.18.0 | 19.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-drivers-simulator | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib » learnlib-equivalence-oracles | 0.18.0 | 19.0.0 |
| ~ Updated | de.learnlib » learnlib-membership-oracles | 0.18.0 | 19.0.0 |
| ~ Updated | net.automatalib » automata-serialization-dot | 0.12.0 | 13.0.0 |
| ~ Updated | net.automatalib » automata-util | 0.12.0 | 13.0.0 |