installation - Redhat プラットフォームへの z3 のインストール

Question

最新の z3 を Redhat Linux プラットフォームにインストールできますか? https://github.com/Z3Prover/z3には、このプラットフォームへの言及はありません

Answer 1

ご指摘のとおり、現在、RedHat Linux 用のコンパイル済みバイナリは提供していません。現在、Ubuntu および Debian 用のプリコンパイル済みバイナリのみを提供しています。また、定期的に Fedora で Z3 をコンパイルしています。そうは言っても、問題なく RedHat Linux で Z3 をコンパイルできるはずです。unstable特に、 (進行中の) ブランチを多くの異なるプラットフォームでコンパイルすることができました。この関連する質問を参照してください。

• PythonなしでposixシステムにZ3をインストールしますか?

このリンクには、Linux で Z3 をコンパイルする方法が記載されています。