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

Java SMT » 3.0.0

Unified acccess layer to SMT solvers
Version3.0.0compared with

Version Details

2.2.0 3.0.0
Release dateMar 22, 2019Jun 26, 2019
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (2)

2.2.0 3.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated com.google.guava » guava27.0.1-jre28.0-jre
~ Updated org.sosy-lab » common0.3000-323-ge8e29f70.3000-357-gc47b29f