Skip to content

v5.2.1
Compare
Choose a tag to compare
@github-actions github-actions released this 25 Jun 12:39
· 520 commits to master since this release
v5.2.1
928c853
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release fixes some bugs in the SMT-LIB integration and adds support for the latest solver versions.

Modified subprojects (since v5.2.0):
solver/solver-smtlib

Assets 8
Loading