1. 从官网上https://github.com/Z3Prover/z3下载项目,z3-master 2. 下载python2.7.12版本(没试过更高版本)(Python加入系统环境变量中) 3. 按官网提示在命令提示窗口中输入