Membership and equivalence oracles using an automaton model as backend
Version0.9.1compared with
Version Details
| 0.9.1-ase2013-tutorial | 0.9.1 | |
|---|---|---|
| Release date | Nov 06, 2013 | Nov 07, 2013 |
| Licenses | LGPL 3.0 | LGPL 3.0 |
| Vulnerabilities | None | None |
Compile Changes (2)
| 0.9.1-ase2013-tutorial | 0.9.1 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-core | 0.9.1-ase2013-tutorial | 0.9.1 |
| ~ Updated | de.learnlib » learnlib-test-support | 0.9.1-ase2013-tutorial | 0.9.1 |