Z3 SMT Solver安装环境配置

因为课程要求，我不得不接触求解器，之前有在ubuntu上装过一个叫stp的求解器，没怎么用； 今天在我的电脑（win10）上上装了一款更方便的求解器—z3，下面先详细介绍一下怎么安装和配置： 1、到 https://github.com/Z3Prover/z3 下载z3-master，如下图： 2、到 https://www.visualstudio.com/zh-hans/ 下载vs2017，选

>>阅读原文<<