We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Fix an error in CI about release name
Release z3 0.12.0
Release z3-sys 0.8.0
bump z3 and z3-sys to fix prove-rs#157
release z3-sys v0.7.0 & bump z3 to v0.11.1
release z3 v0.11.0
Bump z3 to 0.10.0
Bump z3 to 0.9.0