4.9.1 release
Changes:
- 6ed071b update release notes
- 0d41695 fix js distributable (#6139)
- cc841ca increment minor version for dev branch
This list of changes was auto generated.
Z3Prover/4.9.1 release
This list of changes was auto generated.
Don't miss a new z3 release
NewReleases is sending notifications on new releases.