Skip to content

JavaSMT 3.5.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 14 Jun 18:41
· 2457 commits to master since this release
3.5.0
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
70ffe15
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

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!)
Assets 2
Loading