z3以前的版本库

-2

我使用的是运行在max os上的z3-osx-4.1-x64，目前我需要它在linux系统下运行。我试图下载linux版本http://research.microsoft.com/en-us/um/redmond/projects/z3/，但似乎没有linux版本。请问我可以在哪里下载它？非常感谢。z3以前的版本库

来源

2013-01-16 Million

您应该从their current site获得源文件，并按照其README文件中的说明进行操作。

来源

2013-01-16 10:50:11 Hasturkun

顺便说一句，我通过简单地遵循你自己的链接，阅读这些页面。 – Hasturkun

您可以简单地附加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。

来源

2013-01-16 12:39:27 pad

作为上面的链接，我只是可以下载似乎在窗口下运行的z3.4.1.msi。没有退出任何Linux版本。 – Million

您是否按照我的回答尝试了http://research.microsoft.com/en-us/um/redmond/projects/z3/z3-4.1.tar.gz？ – pad

作为链接，我下载了包z3.4.1，但它的库似乎不兼容，导致如下错误/ usr/bin/ld：在搜索-lz3 /usr/bin时跳过不兼容的lib/libz3.so/ld：搜索时跳过不兼容的lib/libz3.a -lz3 /usr/bin/ld：找不到-lz3 collect2：错误：ld返回1退出状态 – Million

z3以前的版本库

回答

相关问题