linux - z3以前的版本库

Question

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

Answer 1

您应该从他们当前的站点获取源代码并按照他们的README文件中的说明进行操作。

Answer 2

您可以简单地附加z3-4.1.tar.gz到http://research.microsoft.com/en-us/um/redmond/projects/z3/以下载适用于 Linux 的 Z3 4.1 二进制文件。

更完整的旧版本列表可以在linux 的 Z3 的先前版本中找到。

对于最新版本，建议下载 master 分支，在您的 Linux 系统上编译并安装。