Skip to content

v3.0.5

Latest
Latest
Compare
Choose a tag to compare
@sillydan1 sillydan1 released this 07 Jul 10:22
· 1 commit to main since this release
v3.0.5
7df4f9b

Minor patch release

  • expr will now prefer to use the system-installed z3 library if available
  • Updates to dependencies

Full Changelog: v3.0.4...v3.0.5

Assets 2
Loading