Linux-x64 z3 Installation

- z3 페이지 : https://github.com/z3prover/z3/wiki

- Tutorial and Documentation : https://github.com/z3prover/z3/wiki/Documentation

- 설치 : https://github.com/z3prover/z3/wiki/Building%20the%20unstable%20branch

1. # git clone https://github.com/Z3Prover/z3.git -b unstable

2. # cd z3

3. # python scripts/mk_make.py

4. # cd build

5. # make

- tutorial : http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm

(from z3 import * 추가 후 실습)

- z3 Namespace Reference : http://z3prover.github.io/api/html/namespacez3py.html#a305d7caa8e0329560be140b2252df36b