A collection of algorithms for handling counterexamples in automata learning
Version0.16.0compared with
Version Details
| 0.15.0 | 0.16.0 | |
|---|---|---|
| Release date | Feb 06, 2020 | Oct 12, 2020 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (4)
| 0.15.0 | 0.16.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-acex | 0.15.0 | 0.16.0 |
| ~ Updated | de.learnlib » learnlib-api | 0.15.0 | 0.16.0 |
| ~ Updated | net.automatalib » automata-api | 0.9.0 | 0.10.0 |
| ~ Updated | org.checkerframework » checker-qual | 3.0.1 | 3.7.0 |
