Install z3 on Ubuntu x64

pip install을 이용해서 깔았었는데 실패해서 github에서 git clone을 이용해서 깔기로 함

github: https://github.com/Z3Prover/z3

하라는 대로 따라 했는데 제대로 설치됐나 확인해보니 'import error no module named z3'.....

한참을 헤매다 다시 보니

--prefix를 해달라고 하는데 그냥 ./configure를 하면 알아서 환경설정 해준다.

이번에는 import 에러가 안 뜨긴 했는데 혹시나 싶어서 예제 입력해보니

'NameError: name 'Int' is not defined' 라고 뜬.....

example.py 를 열어보니 PYTHONPATH에 경로를 추가해 달라는데 z3/z3.py가 있는 디렉토리를 경로에 추가해야 한다고 한다.

find로 찾아보면 경로가 두 개가 나오는데 그냥 build 경로를 추가해 주기로 했다.

find ./ -name z3.py
  ./src/api/python/z3/z3.py
  ./build/python/z3/z3.py

vi ~/.bashrc
  export PYTHONPATH=$HOME/z3/build/python