SMT約束求解器Z3——java綁定

Z3是由微軟公司開發的一個優秀的SMT求解器（也就定理證實器），它可以檢查邏輯表達式的可知足性。html 1.下載 準備必要的組件：下載對應版本的Z3 編譯文件，版本下載連接https://github.com/z3prover/z3/releasesjava 2.解壓縮 3.項目導入 在Java項目中新建一個libs文件夾（若是沒有的話），將z3\bin目錄下的com.microsoft.z3.

>>阅读原文<<