Unified acccess layer to SMT solvers
Version3.7.0compared with

Version Details

Compile Changes (3)

3.6.1 3.7.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.github.spotbugs » spotbugs-annotations4.1.24.1.4
~ Updated com.google.guava » guava29.0-jre30.0-jre
~ Updated org.checkerframework » checker-qual3.6.13.7.1