z3 - 如何安装 iZ3？

Question

我正在尝试使用 iZ3 来生成插值。但是，安装Z3后没有iZ3二进制文件，也找不到安装方法的信息。

谢谢!

Answer 1

iZ3 在最新版本中不可用。 Z3 4.1 是包含 iZ3 的最后一个版本。
这个版本可以在这里找到:http://research.microsoft.com/en-us/um/redmond/projects/z3/older_z3.html .
请记住，iZ3 依赖于不属于 Microsoft 的软件组件，并且无法与其他源代码一起发布在 http://z3.codeplex.com .