linux - z3 以前のバージョンのライブラリ

Question

最大OSで実行されているz3-osx-4.1-x64を使用しています。現在、Linuxシステムで実行する必要があります。Linux 版http://research.microsoft.com/en-us/um/redmond/projects/z3/をダウンロードしようとしましたが、Linux 版はないようです。どこでダウンロードできるか教えてください。どうもありがとうございました。

Answer 1

http://research.microsoft.com/en-us/um/redmond/projects/z3/に追加z3-4.1.tar.gzするだけで、Linux 用の Z3 4.1 バイナリをダウンロードできます。

古いバージョンのより完全なリストはLinux 用 Z3 の以前のバージョン にあります。

最新バージョンの場合は、マスター ブランチをダウンロードし、コンパイルして Linux システムにインストールすることをお勧めします。

Answer 2

現在のサイトからソースを取得し、 READMEファイルの指示に従ってください。