Skip to content

v0.47.0

Latest
Compare
Choose a tag to compare
@coffeeinprogress coffeeinprogress released this 02 Oct 16:57
· 43 commits to main since this release

0.47.0 - 2024-10-02

Breaking changes

  • Downgrade z3 to 4.12.6, due to instability of 4.13.0