原创

： z3安装到Anaconda环境_突然成功

z3安装到Anaconda环境_突然成功

安装z3成功
此前多次安装python z3库未果，会在安装到一半 时候跳出提示，写了一大堆的网址，总之是没有跳出success。
根据上古材料显示，z3只能安装在python2上面。于是安装在kali linux 上的python2上，但是安装在虚拟机上总是用起来不顺，也没有在虚拟机上安装ide。
在某一个没有星星的夜晚，偶然想起来一句神秘指令

pip install z3-solver

幸甚至哉
水文+1