Version3.2.0compared with
Version Details
| 3.1.0 | 3.2.0 | |
|---|---|---|
| Release date | Aug 29, 2019 | Oct 07, 2019 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Compile Changes (1)
| 3.1.0 | 3.2.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.uni-freiburg.informatik.ultimate » smtinterpol | 2.5-515-g2765bdd2 | 2.5-533-ga4ba1513 |