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