Linux 下安裝配置 Microsoft Z3

1. 確認已安裝 Git

2. 確認 Python 版本

   python -V

3. 安裝 Z3
   使用 Git 下載 Z3：

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

   進入 Z3 文件夾並生成 Z3 Makefile：

   cd Z3
   ## 使用 --java 選項生成 Java Bindings
   python scripts/mk_make.py --java

   進入 build 文件夾並編譯 Z3

   cd build
   ## 根據 Z3 Makefile 中規定的內容進行編譯, 生成的可執行文件放在當前目錄或某個子目錄
   make

   將 make 生成的文件安裝到系統目錄中, 如/usr/bin, 這一步須要 root 權限

   sudo make install

4. 在 Java 程序中使用 Z3
   配置環境變量 LD_LIBRARY_PATH：

   # 編輯環境變量文件
   sudo gedit /etc/profile
   # 在文件末尾追加一下內容
   export Z3_HOME=${Z3安裝路徑}/build
   export LD_LIBRARY_PATH=${Z3_HOME}:${LD_LIBRARY_PATH}
   export CLASSPATH=${Z3_HOME}/com.microsoft.z3.jar:${CLASSPATH}
   # 保存並關閉文件後輸入如下命令, 使配置生效
   source /etc/profile

   Java 程序中導入包

   import com.microsoft.z3.jar;

   編譯 Java 程序

   javac -cp $Z3_HOME/com.microsoft.z3.jar:. XXX.java

   運行 Java 程序

   java XXX