在windows+eclipse环境下使用Z3

如何在windows环境下导入Z3到eclipse呢？具体步骤如下：

1.下载官方已经生成好的Z3jar包（也可以在直接下载Z3的源文件自行生成jar包，但是比较麻烦，不推荐）

下载地址：https://github.com/Z3Prover/z3/releases

选择windows 64位或者32位的版本

 

2.解压文件夹到指定位置，在project中选择build path->configure build path, Libraies, Add External JARs，将文件夹中的bin/com.microsoft.z3.jar导入

 

3.在source选项卡中，将 z3 file folder/bin添加到Native library location

 

4.将 z3 file folder/bin添加到系统环境的PATH中

 

5. 重启电脑

 

然后Z3就可以用啦~具体教程参见：https://github.com/Z3Prover/z3/blob/master/examples/java/JavaExample.java

第180行 public void simpleExample() 这部分个人觉得相对重要一些。