Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System
States by Active Learning Algorithms" (https://doi.org/10.1007/978-3-642-28033-7_6) by Oliver Bauer, Johannes
Neubauer, Bernhard Steffen, and Falk Howar.
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 (4)
| 0.18.0 | 19.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-api | 0.18.0 | 19.0.0 |
| ~ Updated | net.automatalib » automata-api | 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 (3)
| 0.18.0 | 19.0.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-lstar | 0.18.0 | 19.0.0 |
| ~ Updated | net.automatalib » automata-core | 0.12.0 | 13.0.0 |
| ~ Updated | net.automatalib » automata-serialization-dot | 0.12.0 | 13.0.0 |