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

Java SMT » 3.3.0

Unified acccess layer to SMT solvers
Version3.3.0compared with

Version Details

3.2.0-5-g68c1c75 3.3.0
Release dateOct 15, 2019Nov 30, 2019
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (1)

3.2.0-5-g68c1c75 3.3.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated uuverifiers » princess_2.122018-12-06-assertionless2019-11-20-assertionless