Skip to content

JavaSMT 3.0.0

Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 26 Jun 09:34
· 2900 commits to master since this release
e4c91c3

Changes in the API

  • New methods to cast different theories, e.g., BV to INT, REAL to INT, and vice versa.
  • More function declaration kinds, especially for FP theory.

Improvements and Fixes

  • New solver versions:
    • MathSAT: 5.5.4 (Feb 2019)
    • SMTInterpol: 2.5-66-g453d36e
    • other solvers were not updated since the last release
  • Improve loading of Jar file for Z3 on Java 9 (and later).