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