Skip to content

JavaSMT 3.3.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 30 Nov 21:40
· 2634 commits to master since this release
3.3.0
d903500
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

Changes in the API:

  • FloatingPointManager supports more arithmetic methods, such as min, max, abs, sqrt.

Improvements and Fixes:

  • More consistency checks on bitvector constants
  • The Maven release contains the bindings for Princess
  • New or updated solver versions:
    • Boolector 3.0.0-2019-11-11-g9d06cc0 was added (#174).
    • CVC4: 1.8-prerelease-2019-11-30-gae93e65
    • Princess: 2.12-2019-11-20
    • SMTInterpol: 2.5-533-ga4ba1513
    • other solvers were not updated since the last release
Assets 2
Loading