z3安装在Redhat平台

Question

最新的z3可以安装在Redhat linux平台上吗?在https://github.com/Z3Prover/z3

Answer 1

正如您所指出的，我们目前不为RedHat Linux提供预编译的二进制文件。我们目前只为Ubuntu和Debian提供预编译的二进制文件。我们还定期在Fedora上编译Z3。也就是说，您应该能够在RedHat Linux上编译Z3而不会出现问题。特别是，我们已经成功地在许多不同的平台上编译了unstable(正在进行的工作)分支。请看这个相关的问题:

• 在posix系统上安装Z3没有python?

这个链接有如何在Linux上编译Z3的说明。