Redhat linux平台可以安装最新的z3吗？在https://github.com/Z3Prover/z3中没有提到这个平台
问问题
1129 次
1 回答
1
正如您所指出的，我们目前不为 RedHat Linux 提供预编译的二进制文件。我们目前仅提供预编译的二进制文件：Ubuntu 和 Debian。我们还定期在 Fedora 上编译 Z3。话虽如此，您应该能够毫无问题地在 RedHat Linux 上编译 Z3。特别是，我们已经设法unstable在许多不同的平台上编译（进行中的）分支。请参阅此相关问题：
此链接包含有关如何在 Linux 上编译 Z3 的说明。
于 2013-03-27T22:49:21.403 回答