转载自:ubuntu18.04下安装Z3


系统:Ubuntu 18.04
安装对象:Z3
Z3属于SMT Solver

安装过程如下:

Choice 1. Building Z3 using make and GCC

1
$ git clone https://github.com/Z3Prover/z3.git

image-20210811200136824

1
2
$ cd z3
$ python scripts/mk_make.py

image-20210811200417697

1
2
3
$ cd build
$ make
$ sudo make install

等待时间较长。

image-20210811200447609

image-20210811214704089

image-20210811214805525

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