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!)