z3在Redhat平臺上安裝

Question

最新的z3可以安裝在Redhat linux平臺上嗎？ https://github.com/Z3Prover/z3

Answer 1

正如您所指出的，我們目前不提供RedHat Linux的預編譯二進制文件。我們目前僅爲Ubuntu和Debian提供預編譯的二進制文件。我們還定期編譯Fedora上的Z3。這就是說，你應該可以在RedHat Linux上編譯Z3而不會出現任何問題。特別是，我們設法在許多不同的平臺上編譯unstable（在製品）分支。 請參閱此相關的問題：

• Installation of Z3 on a posix system without python?

This link對如何編譯Z3在Linux上的說明。