Z3求解器MacOS 安装和运行

Z3求解器MacOS安装和运行

1. https://github.com/Z3Prover/z3 链接里下载zip代码

2. 尝试用make和GCC/Clang安装，make过程等挺久的，在最后一步sudo make install报错，说operation no permitted。
   </>
   cd 下载代码的文件夹z3-master的地址
   python scripts/mk_make.py
   cd build
   make
   sudo make install
   </>

3. 使用brew install z3，成功安装z3 4.8.10

4. 编辑好smt2文件

5. </>cd smt2文件的地址</>

6. </>z3 filename.smt2</>