pip Z3时的各种问题

话不多说，用命令行 pip install z3-solver 

时遇到了不少问题。z3是Python里的一个库，约束求解器。我是在本机上和anaconda的创建的虚拟环境中都下载得有Python解释器。

打开wins命令行，输入命令开头的pip命令得到的是这个报错：

 不能找到满足的版本和无法匹配。

那么我就想是不是因为没更新呢，

然后我就试着用命令行去更新pip，但是失败失败了。

那我想应该是pip没安装，当时下载Python的时候没有自动下载pip，后面我去了Python的官网找pip，

 上面是这么说的，然后我就输入了命令

py -m ensurepip  --upgrade

结果显示成功

pip安装成功后，再输入开头命令行安装Z3，还是不行，这次报错搞忘截图了，后面我把报错的字段复制去问了下gpt，它说可能多原因，其中有个网络原因，然后我就把vpn关了，然后就可以显示下载了，但是就是显示下载一半然后就报错自动截止了。这这这…后面我还说是我在anaconda里面创建的环境影响到它了吗，我就去把看里面的环境关没关了。但是还不行，又去chat了一下，它给了好几个原因，说是之前下的缓存没清除，后面用命令pip cache purge

把缓存给清除了，终于可以了这次。

 没想到还真的有。

 最后终于成功。

但是我是用pycharm写嘛，导入Python解释器的时候，导的是电脑本机上的那个，但引用z3居然找不到这个模块。后面又去命令行上看z3在哪，后面发现它居然在anaconda里，

然后我就把anaconda里的Python导入pycharm中当解释器了。后面就完整成功了！不错！

我想它会安装在anaconda中可能是因为anaconda的文件在本机上安装的Python的前面。因为我看安装z3点时候，命令行里面的响应有一个寻找z3依赖项，可能是按顺序来的？