z3 - Linux 用の iZ3 の 64 ビット版はありますか?

Question

iZ3のインストール方法は？Linux 用の Z3 4.1 へのリンクが提供されていました。このアーカイブでは、Z3 自体は 64 ビットですが、iZ3 は残念ながら 64 ビットではありません。

32 ビット iZ3 実行可能ファイルを自分のマシンで実行できません。インストールできない 32 ビット共有ライブラリがないためです (通常の 64 ビット ライブラリが置き換えられます)。

では、Linux 用の iZ3 の 64 ビット版はありますか?

Answer 1

現在、Z3 の補間バージョンはソースからのみビルドできます。z3.codeplex.com からブランチ "interp" ソースを取得します。ファイル README には、必要な外部ライブラリを取得する方法など、ビルド手順が含まれています。