Z3 SMT Solver安裝環境配置

因爲課程要求，我不得不接觸求解器，之前有在ubuntu上裝過一個叫stp的求解器，沒怎麼用； 今天在我的電腦（win10）上上裝了一款更方便的求解器—z3，下面先詳細介紹一下怎麼安裝和配置： 1、到 https://github.com/Z3Prover/z3 下載z3-master，如下圖： 2、到 https://www.visualstudio.com/zh-hans/ 下載vs2017，選

>>阅读原文<<