https://github.com/Z3Prover/z3
源文件从这里可以下载。然后看看readMe文件。源文件从这里可以下载。然后看
阅读背景：
Z3 SMTsolver 学习笔记（一） ——安装，环境配置篇
来源：互联网
分享到：
