z3pyインストール ubuntu16.04

z3pyとは

Z3はMicrosoft Researchが開発したSAT・SMTソルバである． ブール代数の充足問題に限らず，整数や実数上の不等式を含む充足問題にも適用できる．
z3pyはZ3のPythonバインディングであり，Z3に付属している．

https://wiki.mma.club.uec.ac.jp/CTF/Toolkit/z3py#A.2BMKQw8zC5MMgw.2FDDr-

githubは以下のページ
github.com

環境

python2.7.12
ubuntu16.04 
z3 4.7.1

インストール

git clone https://github.com/Z3Prover/z3.git
cd z3
python scripts/mk_make.py
cd build
make
sudo make install

一応上で終わりなんですが、z3モジュールが見つからないとのことを言われた。

github.com

この質問と同じ状況だったので、もう一回下の順に実行したら通った。

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