We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Bump z3 to version 0.7.0
Bump z3-sys to 0.6.3
Bump `z3` to version 0.6.0 and `z3-sys` to version `0.6.2`
Bump z3 to 0.5.1 and z3-sys to 0.6.1
Bump z3 to 0.5.0 and z3-sys to 0.6.0
z3: Release 0.4.0.
z3-sys: Release 0.5.0.