セキュリティ系の勉強、その他開発メモとか雑談. GithubはUnity触っていた頃ものがメイン Twitterフォローもよろしくです

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