Changes all version strings for z3-solver from "4.11.2" to "4.11.2.0"…

[cbpygit]

… as this is the exact version string on pypi. This fixes the problem that ProcessScheduler 0.9.0 currently cannot be installed via python poetry (and potentially other methods), as it is strict about the exact match if the == operator is used.

[sourcery-ai[bot]]

Sourcery Code Quality Report

Merging this PR leaves code quality unchanged.

Quality metrics	Before	After	Change
Complexity	0.00 ⭐	0.00 ⭐	0.00
Method Length	78.00 🙂	78.00 🙂	0.00
Working memory	6.00 ⭐	6.00 ⭐	0.00
Quality	81.23% ⭐	81.23% ⭐	0.00%

Other metrics	Before	After	Change
Lines	37	37	0

Changed files	Quality Before	Quality After	Quality Change
setup.py	81.23% ⭐	81.23% ⭐	0.00%

Here are some functions in these files that still need a tune-up:

File	Function	Complexity	Length	Working Memory	Quality	Recommendation

Legend and Explanation

The emojis denote the absolute quality of the code:

• ⭐ excellent
• 🙂 good
• 😞 poor
• ⛔ very poor

The 👍 and 👎 indicate whether the quality has improved or gotten worse with this pull request.

---

Please see our documentation here for details on how these metrics are calculated.

We are actively working on this report - lots more documentation and extra metrics to come!

Help us improve this quality report!

[tpaviot]

👍

[cbpygit]

@tpaviot Thanks for merging :) Could you publish a version 0.9.1 holding the fix?

[tpaviot]

@cbpygit done. What kind of project/problem do you use ProcessScheduler for?