v0.47.0

coffeeinprogress released this 02 Oct 16:57

· 124 commits to main since this release

2c576d8

0.47.0 - 2024-10-02

Breaking changes

Downgrade z3 to 4.12.6, due to instability of 4.13.0

Assets 7