Home » org.sosy-lab » java-smt » 3.8.0 » Changes

Java SMT » 3.8.0

Unified acccess layer to SMT solvers
Version3.8.0compared with

Version Details

3.7.0-61-gea80187e 3.8.0
Release dateJan 23, 2021Jun 06, 2021
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (4)

3.7.0-61-gea80187e 3.8.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.github.spotbugs » spotbugs-annotations4.2.04.2.3
~ Updated com.google.guava » guava30.1-jre30.1.1-jre
~ Updated org.checkerframework » checker-qual3.9.13.14.0
~ Updated org.sosy-lab » common0.3000-457-g2465cf30.3000-486-g4e9577e