Fix build errors in setup.py and pyproject.toml

Co-authored-by: NikolajBjorner <[email protected]>

Author: Copilot

src/api/python/pyproject.toml

@@ -7,7 +7,7 @@ name = "z3-solver"
 description = "an efficient SMT solver library"
 readme = "README.txt"
 requires-python = ">=3.8"
-license = "MIT"
+license = {text = "MIT"}
 authors = [
     {name = "The Z3 Theorem Prover Project"}
 ]

src/api/python/setup.py

@@ -9,7 +9,11 @@
 from setuptools import setup
 from setuptools.command.build import build as _build
 from setuptools.command.sdist import sdist as _sdist
-from setuptools.command.bdist_wheel import bdist_wheel as _bdist_wheel
+try:
+    from wheel.bdist_wheel import bdist_wheel as _bdist_wheel
+except ImportError:
+    # wheel package not available, provide a dummy class
+    from setuptools.command.build import build as _bdist_wheel
 from setuptools.command.develop import develop as _develop
 
 class LibError(Exception):