# git clone https://github.com/Z3Prover/z3.git
# python scripts/mk_make.py
# cd build; make
# sudo make install
if occur error, try this solution :
# apt-get install --reinstall python-pkg-resources
# python scripts/mk_make.py --python
# git clone https://github.com/Z3Prover/z3.git
# python scripts/mk_make.py
# cd build; make
# sudo make install
if occur error, try this solution :
# apt-get install --reinstall python-pkg-resources
# python scripts/mk_make.py --python