z3 - Z3+布吉安装

Question

我很难让 Boogie 和 Z3 安装在 Windows 7 上，使用 codeplex 的 Z3 版本 4.3.2。我尝试在提示符下通过 register.cmd 命令像 spec# 一样安装它，但它不起作用。谁能告诉我该怎么做？

Answer 1

Boogie 不支持 Z3 版本 4.3。您需要 4.1 版（请参阅我刚刚更新的 boogie.codeplex.com 上的安装页面）。

顺便说一句， register.cmd 事情纯粹是 Spec# 的事情。