z3学习篇（一）——— 如何在win10上安装配置z3求解器

在写这篇文章之前，我已经看过很多优秀博主发的关于z3的文章了，那么今天我就在自己电脑上安装一次，配合着各个过程的截图以及命令来讲一下如何在（win10）上装这款方便的求解器—z3。下面来详细介绍一下怎么安装和配置（我这里用的是VS2017专业版）： 1、在 https://github.com/Z3Prover/z3上下载z3-master，如下图： 2、在https://www.visualst

>>阅读原文<<