ubuntu下安装smt solver z3

系统：Ubuntu

安装对象：Z3

Z3属于SMT Solver

安装z3之前需要安装python,python的安装可以看我的另一篇博客：https://blog.csdn.net/weixin_39408343/article/details/102771891

这个python安装教程中有我遇到的真实问题以及解决办法，供大家参考。

z3安装过程如下：

Choice 1. Building Z3 using make and GCC

git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py
cd build
make
sudo make install

Choice 2. Building Z3 using make and Clang

git clone https://github.com/Z3Prover/z3.git
cd z3
CXX=clang++ CC=clang python scripts/mk_make.py
cd build
make
sudo make install

Uninstall

cd z3/build
sudo make uninstall

参考：https://blog.csdn.net/weixin_39408343/article/details/102771823

如果遇到 z3 fatal error: variant: No such file or directory compilation terminated. 的问题，建议升级一下gcc，g++。
gcc升级链接.