如何安装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处的其余源代码一起发布。