Z3 +布吉安装

Question

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

Answer 1

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

顺便说一句，register.cmd就是一个Spec＃thing。