https://pypi.org/project/mlc-z3-static/ Recent updates to the Python Package Index for mlc-z3-static en https://pypi.org/project/mlc-z3-static/4.16.0/ Prebuilt Z3 4.16.0 static and shared libraries, headers, and CMake metadata mlc.ai.dev@gmail.com Mon, 03 Aug 2026 03:45:39 GMT