2017/12 썸네일형 리스트형 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 더보기 이전 1 다음