ubuntu下安装smt solver z3

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接： https://blog.csdn.net/weixin_39408343/article/details/102771823

系统：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