【笔记】Z3软件安装1.在github上下载z3资源包，https://github.com/Z3Prover/z3/releases，下载4.8.4版本的就可以，新版本太大，下载慢（顺便上传到了CSDN下载中，但审核还未通过）2.环境变量要配置一下，添加Z3\bin的路径到PATH，同时创建PYTHONPATH环境变量，变量值为Z3\bin\python的路径注意：Pycharm自动下载导入Z3总是失败，因此放弃在Pycharm中配置z3，而是在环境变量中实现，实现完成后，Pycharm可以正常使用z3库