我正在使用在max os上运行的z3-osx-4.1-x64，目前我需要它在linux系统下运行。我试着下载linux版本http://research.microsoft.com/en-us/um/redmond/projects/z3/，但似乎没有linux版本。 你能告诉我在哪里可以下载吗？ 非常感谢你。
答案 0 :(得分：2)
您应该从their current site获取来源，并按照README文件中的说明操作。
答案 1 :(得分：2)
您只需将z3-4.1.tar.gz附加到http://research.microsoft.com/en-us/um/redmond/projects/z3/即可下载适用于Linux的Z3 4.1二进制文件。
可以在Previous version of Z3 for linux中找到更完整的旧版本列表。
对于最新版本，建议download the master branch, compile and install on your Linux system。