Skip to content

JavaSMT 3.9.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 20 Jun 10:41
· 2109 commits to master since this release
3.9.0
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
7710c74
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

This release contains a larger update of Princess and more JUnit tests.
The PrettyPrinter is switched from a boolean parameter to a options enum.
The example projects for Maven are updated with newer solver versions.

Updated solvers:

  • Princess 2021-05-10 (improving Array and BV theory, and including a switch to an official Maven repository)
Assets 2
Loading