Skip to content

JavaSMT 3.13.2
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 28 Jul 18:32
· 1729 commits to master since this release
3.13.2
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
ce40d76
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

This patch release comes with some updated solvers and some smaller bugfixes.

Updated solvers:

  • JavaSMT 2.5-1147-g108647d8
  • Z3 4.10.1
Assets 2
Loading