我在终端命令行直接输入 sudo pip3 install z3-solver，出现了奇怪的报错，内容大致是不能生成wheel之类的，试了各种解决方法都无效，期间还以为python3和z3不兼容，导致我在python的版本降级上做了一些尝试，后来发现不是这个问题，其实二者是兼容的，最终的解决方法是进入z3 的github官方网站，按照说明中的另外一个方法进行操作。如果你也有和我同样的问题，以下可供参考。
解决1. 进入z3 的Github 官网，将源文件下载到本地
2. 在终端 cd 进入该文件夹内，执行以下命令
python scripts/mk_make.py --prefix=[安装路径] --python --pypkgdir=[python的site-package路径]
其中[python的site-package路径]可以通过以下命令查看
python3 -m site --user-site
[安装路径]可以设置为[python的site-package] /lib 前面的字段
3. 执行以上命令后，Makefile生成，可以按照提示进行下一步操作
cd build
make
4. 漫长的等待
5. 安装z3，执行命令
sudo make install
6. 大功告成
祝铁子们安装顺利!
