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

Java SMT » 0.60

Unified acccess layer to SMT solvers
Version0.60compared with

Version Details

0.51 0.60
Release dateMar 07, 2016Jun 10, 2016
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (2)

0.51 0.60
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.sosy-lab » common0.2-6-g4ff4acf0.3000-5-gbde55de
~ Updated org.sosy-lab » javasmt-solver-z3z3-4.4.1-788-g8df145dz3-4.4.1-1394-gd12efb6