A collection of algorithms for handling counterexamples in automata learning
Version0.11.2compared with
Version Details
| 0.11.1 | 0.11.2 | |
|---|---|---|
| Release date | Jan 16, 2015 | Apr 26, 2015 |
| Licenses | LGPL 3.0 | LGPL 3.0 |
| Vulnerabilities | None | None |
Compile Changes (3)
| 0.11.1 | 0.11.2 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-acex | 0.11.1 | 0.11.2 |
| ~ Updated | de.learnlib » learnlib-core | 0.11.1 | 0.11.2 |
| ~ Updated | net.automatalib » automata-api | 0.5.1 | 0.5.2 |
