开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Z3 + boogie安装

问Z3 + boogie安装
EN

Stack Overflow用户

提问于 2014-03-18 17:20:42

回答 1查看 245关注 0票数 1

我很难让Boogie和Z3安装在Z3版本为4.3.2的Windows7上。我试着在提示符下通过register.cmd命令像安装spec#一样安装它，但不起作用。有人能告诉我怎么做吗？

EN

回答 1

Stack Overflow用户

发布于 2014-03-19 02:21:14

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

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

票数 0

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/22474942

复制

相似问题