chore(deps): update rust crate z3 to 0.19.11

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
z3	workspace.dependencies	patch	0.19.7 → 0.19.11

---

Release Notes

prove-rs/z3.rs (z3)

v0.19.11

Compare Source

Added

• add high-level API for model sorts/sort universes (#​506) (by @​toolCHAINZ) - #​506

Fixed

• standardize AstVector display/debug impl (#​508) (by @​toolCHAINZ) - #​508

Other

• FusedIterator and ExactSizeIterator for model/SortIter (#​509) (by @​toolCHAINZ) - #​509

Contributors

• @​toolCHAINZ

v0.19.10

Compare Source

Added

• algebraic numbers, polynomials, enhanced floats, AST vectors, and quantifier elimination (#​500) (by @​toolCHAINZ, @​NikolajBjorner) - #​500

Contributors

• @​toolCHAINZ
• @​NikolajBjorner

v0.19.9

Compare Source

Other

• expand build flag documentation (#​499) (by @​toolCHAINZ) - #​499

Contributors

• @​toolCHAINZ

v0.19.8

Compare Source

Other

• updated the following local packages: z3-sys

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.