Installation issue on macOS Sequoia

[MFaisalZaki]

Hi, I am trying to install z3-solver for Python 3.12, and I got this issue:

pip install z3-solver --no-cache-dir

[NikolajBjorner]

I will be rolling another release very soon so try to deal with this issue too.
Sequoia is the newest MacOS release as of a couple of weeks ago. It wasn't rolled into the setup.py script for python. We also moved to C++20, which also had to be updated in setup.py. I am updating this. When the next nightly build is completed with these updates could you try to download and install the wheel directly and see what happens?

[trolando]

Hey Nikolaj, we are running into this issue on an older OSX machine, still running Catalina. The (chatgpt suggested) workaround was installing z3-solver==4.8.12. It was the same output as in the screenshot here.

[NikolajBjorner]

Could you tell me if the same error occurs with the nightly build that I link to above?
The fix added to the Nightly is to include recognition of darwin, which is what sys.platform should say also on catalina.

[helloLT]

I am experiencing difficulties installing the Nightly wheel on my M1 Mac running macOS Sequoia. When attempting to install the z3_solver-4.13.3.0-py3-none-macosx_11_0_arm64.whl, I receive the error:

ERROR: z3_solver-4.13.3.0-py3-none-macosx_11_0_arm64.whl is not a supported wheel on this platform.

Similarly, when trying to install the z3_solver-4.13.3.0-py3-none-macosx_14_7_x86_64.whl, I encounter the error:

ERROR: z3_solver-4.13.3.0-py3-none-macosx_14_7_x86_64.whl is not a supported wheel on this platform.

Is this an error on my part, or is a compatible wheel version still unavailable for my setup?

Thank you for your assistance.

[NikolajBjorner]

1. Can you do one experiment: rename z3_solver-4.13.3.0-py3-none-macosx_14_7_x86_64.whl to z3_solver-4.13.3.0-py3-none-macosx_14_x86_64.whl?
2. The macos version 14 is the latest build version (Sonoma) by the pipelines I use for building. The other possible version to build for is 13. Versions 12, 11 and below are deprecated.
3. The naming macosx_11_0_ is incorrect. It should have been 14_0. Similarly you can try to rename: z3_solver-4.13.3.0-py3-none-macosx_11_0_arm64.whl to z3_solver-4.13.3.0-py3-none-macosx_14_0_arm64.whl

[NikolajBjorner]

Try now:

• https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.13.3.0-py3-none-macosx_14_arm64.whl
• https://github.com/Z3Prover/z3/releases/download/Nightly/z3_solver-4.13.3.0-py3-none-macosx_14_x86_64.whl