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