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上的其余源代码一起发布。