Z3 + boogie installation
问题 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