Version3.1.0compared with
Version Details
| 3.0.0 | 3.1.0 | |
|---|---|---|
| Release date | Jun 26, 2019 | Aug 29, 2019 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (1)
| 3.0.0 | 3.1.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.uni-freiburg.informatik.ultimate » smtinterpol | 2.5-66-g453d36e | 2.5-515-g2765bdd2 |