【发布时间】：2012-12-30 15:49:23
【问题描述】：
我使用的是在max os上运行的z3-osx-4.1-x64，目前我需要它在linux系统下运行。我尝试下载linux版本http://research.microsoft.com/en-us/um/redmond/projects/z3/，但是好像没有linux版本。 你能告诉我在哪里可以下载吗？ 非常感谢。
【问题讨论】：
【发布时间】：2012-12-30 15:49:23
【问题描述】：
您只需将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。
【讨论】：
-
如上面的链接，我只是可以下载z3.4.1.msi，它似乎在窗口下运行。没有退出任何 linux 版本。
-
作为链接，我下载了z3.4.1包，但是它的库似乎不兼容，导致错误如下 /usr/bin/ld: skipping incompatible lib/libz3.so when searching -lz3 /usr/bin/ld：搜索时跳过不兼容的lib/libz3.a -lz3 /usr/bin/ld：找不到-lz3 collect2：错误：ld返回1退出状态
您应该从their current site 获取源代码并按照他们的README 文件中的说明进行操作。
【讨论】：
-
顺便说一句，我通过点击你自己的链接，阅读页面得到了这个。