Z3 +布吉安装

Question

我有一些困难的时间让Boogie和Z3安装在Windows 7与Z3版本4.3.2从codeplex。我试过像注册表一样安装它。CMD命令提示符，但它不起作用。谁能告诉我怎么做?

Answer 1

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

顺便说一下，收银机。