Skip to content

JavaSMT 3.7.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 09 Nov 13:42
· 2398 commits to master since this release
3.7.0
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Verified
Learn about vigilant mode.
7bd7816
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Verified
Learn about vigilant mode.

This release contains the first official support for native SMT solvers on Windows.
We provide MathSAT5 and Z3 for Windows (64bit) as part of the Ivy build.
A user can of course exclude the native libraries from the dependencies,
if disk space is a critical point.

Updated solvers:

  • MathSAT5 5.6.5 (inculding binary for Windows)
  • Z3 4.8.9 (including binaries for Windows and MacOS)
Assets 2
Loading