问题
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 ?
回答1:
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).
By the way, the register.cmd thing was purely a Spec# thing.
来源:https://stackoverflow.com/questions/22474942/z3-boogie-installation