PyPI recent updates for z3-static https://pypi.org/project/z3-static/ Recent updates to the Python Package Index for z3-static en 4.16.0.post1 https://pypi.org/project/z3-static/4.16.0.post1/ Static Z3 development artifacts for native build systems mlc.ai.dev@gmail.com Tue, 16 Jun 2026 20:17:26 GMT 4.16.0 https://pypi.org/project/z3-static/4.16.0/ Static Z3 development artifacts for native build systems mlc.ai.dev@gmail.com Fri, 12 Jun 2026 22:07:33 GMT