z3 install

# 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