以前版本的Z3 for Windows

时间:2016-10-06 10:25:24

标签: 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的网页可能会暂时关闭或永久移至新的网址。"

0 个答案:

没有答案