Skip to content

Version 1.3.0

Marketplace
Marketplace
Compare
Choose a tag to compare
@pavpanchekha pavpanchekha released this 22 Jun 22:18
· 3 commits to master since this release
v1.3
462fb57
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This new update adds the distribution keyword argument, which is necessary for handling more recent Z3 releases on some platforms.

Assets 2
Loading