Skip to content

0.5.13

Compare
Choose a tag to compare
@Saloed Saloed released this 01 Nov 05:18
· 15 commits to main since this release
d848167

What's Changed

  • Rebuild Yices on mac-os
  • Z3: Fix model detach

Full Changelog: 0.5.12...0.5.13