Skip to content

JavaSMT 3.5.1
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 15 Jun 12:53
· 2455 commits to master since this release
3.5.1
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
67ba488
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

Improvements and Fixes:

  • improve interpolation error detection for MathSAT5
  • fix simplification procedure for MathSAT5
  • improve interrupt detection for Z3
  • fix quantifier elimination for Z3
Assets 2
Loading