update release changelog.

sosy-lab · Jun 14, 2020 · 70ffe15 · 70ffe15
1 parent c9385ae
commit 70ffe15
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,19 @@
 # JavaSMT ChangeLog
 
+## JavaSMT 3.5.0
+
+This release mostly contains updated solvers,
+including the new version of Z3 without support for interpolation.
+There were some internal fixes and improvements.
+
+### Updates solver versions:
+ - CVC4 prerelease-2020-06-13-g3a1bce1b8
+ - Boolector 3.2.1-15-g59c9ade5
+ - MathSAT5 5.6.3
+ - OptiMathSAT 1.7.1
+ - Princess 2.13
+ - Z3 4.8.8 (info: interpolation no longer available!)
+
 ## JavaSMT 3.4.0
 
 ### Changes in the API: