z3學習篇（一）——— 如何在win10上安裝配置z3求解器

在寫這篇文章之前，我已經看過很多優秀博主發的關於z3的文章了，那麼今天我就在自己電腦上安裝一次，配合着各個過程的截圖以及命令來講一下如何在（win10）上裝這款方便的求解器—z3。下面來詳細介紹一下怎麼安裝和配置（我這裏用的是VS2017專業版）： 1、在 https://github.com/Z3Prover/z3上下載z3-master，如下圖： 2、在https://www.visualst

>>阅读原文<<