Skip to content

0.5.9

Compare
Choose a tag to compare
@Saloed Saloed released this 14 Oct 21:19
· 20 commits to main since this release
3efd7a0

What's Changed

  • Upgrade Z3 version to 4.12.2