Z3+布吉安装 [英] Z3 + boogie installation

问题描述

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

I am having some hard time getting the Boogie and Z3 to install on Windows 7 with Z3 version 4.3.2 from codeplex. I've tried to install it like spec# by register.cmd command in prompt, but it doesnt work. Can anyone tell me how to do it ?

推荐答案

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

Boogie does not support Z3 version 4.3. You need version 4.1 (see the Installation page on boogie.codeplex.com, which I just updated).

顺便说一下，register.cmd 的东西纯粹是 Spec# 的东西.

By the way, the register.cmd thing was purely a Spec# thing.

这篇关于Z3+布吉安装的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！