Skip to content

JavaSMT 3.6.1
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 25 Sep 18:50
· 2171 commits to master since this release
3.6.1
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
111b6d6
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

Updates solver versions:

  • Boolector 3.2.1-30-g95859db8
  • Princess 2.13 (2020-09-18)
  • SMTInterpol 2.5-732-gd208e931
  • Yices2 2.6.2-396-g194350c1
  • Z3 4.8.9

Improvements:

  • Maven release is working again (available solvers: SMTInterpol and Princess)
Assets 2
Loading