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モジュールが見つからないとのことを言われた。
この質問と同じ状況だったので、もう一回下の順に実行したら通った。
python scripts/mk_make.py --python python scripts/mk_make.py cd build make sudo make install