A collection of algorithms for handling counterexamples in automata learning
Version0.18.0compared with
Version Details
| 0.17.0 | 0.18.0 | |
|---|---|---|
| Release date | Nov 15, 2023 | Feb 06, 2025 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (6)
| 0.17.0 | 0.18.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | net.automatalib » automata-commons-util | - | 0.12.0 |
| ~ Updated | de.learnlib » learnlib-api | 0.17.0 | 0.18.0 |
| ~ Updated | net.automatalib » automata-api | 0.11.0 | 0.12.0 |
| ~ Updated | org.checkerframework » checker-qual | 3.7.0 | 3.48.3 |
| ~ Updated | org.testng » testng | 7.5.1 | 7.10.2 |
| - Removed | net.automatalib » automata-commons-smartcollections | 0.11.0 | - |
