[CMAKE] Require z3-static config package

Require the z3-static post release that exposes the config module used by the Z3 CMake lookup path.

Author: Ubospica

cmake/modules/contrib/Z3.cmake

@@ -81,8 +81,8 @@ else()
   if(TVM_Z3_REQUIRED)
     message(FATAL_ERROR
       "USE_Z3 is ON, but Z3 was not found. Install the static Z3 development "
-      "package with `pip install z3-static`, or point Z3_DIR/CMAKE_PREFIX_PATH "
-      "at a Z3 installation.")
+      "package with `pip install 'z3-static>=4.16.0.post1'`, or point "
+      "Z3_DIR/CMAKE_PREFIX_PATH at a Z3 installation.")
   endif()
   message(STATUS "Build without Z3 SMT solver support")
   return()

pyproject.toml

@@ -17,7 +17,7 @@
 
 [build-system]
 # z3-static ships the PIC static libz3 + headers consumed by USE_Z3=ON.
-requires = ["scikit-build-core>=0.11", "setuptools-scm>=8", "z3-static"]
+requires = ["scikit-build-core>=0.11", "setuptools-scm>=8", "z3-static>=4.16.0.post1"]
 build-backend = "scikit_build_core.build"
 
 [project]