标签: z3
有谁知道如何为Windows获取以前版本的z3?
我想尝试Spec#并且开发人员建议使用2.15版本,所以,我检查了Older Versions页面,当我尝试下载2.15版本时,我遇到了错误: "无法访问该网站
ftp://ftp.research.microsoft.com/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/z3-2.1.msi的网页可能会暂时关闭或永久移至新的网址。"