Init Z3 prover

1.fetch Z3

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

1.1 build z3 dynamic lib with auto-script

cd z3
python scripts/mk_make.py
cd build
make
sudo make install

hint: try to make sure you have make install z3 link to

/usr/bin

you don't have to follow the <example.cpp> because the developer has finish the cmake in the project we should use it as the third dynamic lib

1.2 compile your own cxx file manually.

g++ file.cpp -o file lz3

useful links:

• http://theory.stanford.edu/~nikolaj/programmingz3.html#sec-resources
• https://www.coder.work/blog?tag=z3&page=14&pagesize=20
• http://www.cs.utah.edu/~vinu/research/formal/tools/notes/z3-notes.html
• https://blog.csdn.net/guo_shaokun/article/details/99891545?utm_medium=distribute.pc_relevant_right.none-task-blog-BlogCommendFromBaidu-5&depth_1-utm_source=distribute.pc_relevant_right.none-task-blog-BlogCommendFromBaidu-5
• https://cmake.org/cmake/help/latest/guide/tutorial/index.html#id1