z3 - iZ3のインストール方法は?

Question

iZ3 を使用して内挿を生成しようとしています。ただし、Z3 をインストールした後の iZ3 バイナリはなく、インストール方法に関する情報も見つかりません。

ありがとう！

Answer 1

iZ3は最新バージョンでは使用できません。Z3 4.1は、iZ3を含む最後のバージョンです。このバージョンは、http ：//research.microsoft.com/en-us/um/redmond/projects/z3/older_z3.htmlにあります。iZ3は、Microsoftが所有していないソフトウェアコンポーネントに依存しており、http：//z3.codeplex.comにある残りのソースコードではリリースできないことに注意してください。