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

Java SMT » 0.5

Unified acccess layer to SMT solvers
Version0.5compared with

Version Details

0.4 0.5
Release dateFeb 19, 2016Mar 06, 2016
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (9)

0.4 0.5
ChangeGroup / ArtifactPreviousCurrent
+ Added org.sosy-lab » common-0.2-6-g4ff4acf
+ Added org.sosy-lab » javasmt-solver-mathsat-5.3.10.1
+ Added org.sosy-lab » javasmt-solver-optimathsat-1.3.10
+ Added org.sosy-lab » javasmt-solver-z3-z3-4.4.1-788-g8df145d
~ Updated org.ruemmer.philipp » princess2016-02-10-r25662016-02-29-r2569
- Removed org.sosy_lab » common0.1000-39-gb5673bc-
- Removed org.sosy_lab » javasmt-solver-mathsat5.3.10.1-
- Removed org.sosy_lab » javasmt-solver-optimathsat1.3.10-
- Removed org.sosy_lab » javasmt-solver-z3z3-4.4.1-788-g8df145d-