2023年11月10日
安装z3之路
摘要： 安装z3之路开坑前提摘要最终z3只在vscode重新安装成功，Pycharm如果想要安装的话，也可以试试python2.7的版本进行安装，z3的安装感觉很玄学。安装流程### 1.下载并安装python链接如下:https://www.python.org/2.下载z3的x64-windows版本， 阅读全文
posted @ 2023-11-10 21:47 Qsons 阅读(189) 评论(0) 推荐(0) 编辑