An abstract counterexample analysis framework
Version0.13.1compared with
Version Details
| 0.13.0 | 0.13.1 | |
|---|---|---|
| Release date | Feb 08, 2018 | May 11, 2018 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (1)
| 0.13.0 | 0.13.1 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | net.automatalib » automata-commons-util | 0.7.0 | 0.7.1 |