Precompiled wheels are built and uploaded for windows and linux but not osx. This requires users on osx to compile z3 as part of the installation process when using pip which is not ideal. It'd be good to also publish wheels for osx as part of the release process.

It looks like this issue was previously raised in #1038 and they were pointed to the hosted artifacts on the github release page. But this isn't really a solution for a multi-platform python package that wants to depend on z3. It basically means requiring any python user on osx to have a compiler installed and build z3 from source whenever installing.