Windows下安装z3（python3

记录本人安装z3以及升级pip时遇到的问题，希望以后的师傅们能快速安装z3。略略略

环境：windows、python3

安装方式：pip（没有安装pip的自行百度查看如何安装pip

安装z3-solver

（要注意pip安装的时候是要安装z3-solver模块，直接安装z3是不正确的，换句话说，windows下z3-solver == z3

pip install z3-solver

正常来说，如果pip的版本等级够新，直接安装z3-solver就是能够正确导入z3模块的，但是由于博主之前使用的是22.0.4的pip，所以安装z3-solver后直接导入z3，却没能够成功。

问题1：name 'Solver' is not defined

这个问题很让人困惑，为什么z3-solver都安装了，却无法识别当中的Solver方法呢？

这个问题百度了很久也没有看到答案，尝试重新安装也无法解决问题。

怀疑是本人pip版本等级太低，导致直接pip安装产生的问题，尝试升级pip

问题2：ValueError: Unable to find resource t64.exe in package pip._vendor.distlib

python -m pip install --upgrade pip

pip升级时碰到报错

问题的关键在不能找到t64.exe这个资源，需要通过删除setuptools解决，输入下面的命令

python -m pip uninstall setuptools
pip install --upgrade pip
pip install --upgrade setuptools

那么就有人会问了，md，刚删了setuptools为啥要重新下载回来捏？

好问题，如果不安装回来就有可能产生如下问题

emmmm，就没办法找到从pip下载的模块了。