This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style
Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl,
Carsten Kern, and Martin Leucker.
Version0.14.0compared with
Version Details
| 0.13.1 | 0.14.0 | |
|---|---|---|
| Release date | May 11, 2018 | Feb 18, 2019 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (7)
| 0.13.1 | 0.14.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| + Added | de.learnlib.testsupport » learnlib-learner-it-support | - | 0.14.0 |
| + Added | org.testng » testng | - | 6.14.3 |
| ~ Updated | de.learnlib » learnlib-api | 0.13.1 | 0.14.0 |
| ~ Updated | de.learnlib » learnlib-util | 0.13.1 | 0.14.0 |
| ~ Updated | net.automatalib » automata-api | 0.7.1 | 0.8.0 |
| ~ Updated | net.automatalib » automata-core | 0.7.1 | 0.8.0 |
| ~ Updated | net.automatalib » automata-util | 0.7.1 | 0.8.0 |
Test Changes (3)
| 0.13.1 | 0.14.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-membership-oracles | 0.13.1 | 0.14.0 |
| - Removed | de.learnlib.testsupport » learnlib-learner-it-support | 0.13.1 | - |
| - Removed | org.testng » testng | 6.11 | - |