http://z3.codeplex.com/releasesにあるWindows用のファイルZ34.3.0（64ビット）をダウンロードしました。
binフォルダーにあるファイルz3.exeを実行しようとすると。プロンプトが表示され、すぐに消えます。z3で書かれたファイルからz3.exeファイルまでを実行する方法を知る必要がありました。
これどうやってするの？または、Javaを介してz3を実行するための最良のオプションは何ですか？
質問する
6988 次
1 に答える
4
z3.exeコマンドラインツールです。SMT-LIB 2.0 ファイルfile.smt2を実行するには、コマンド プロンプトで次のコマンドを実行する必要があります。
z3 file.smt2
含むディレクトリが環境変数にz3.exeない場合は、上記のコマンドにディレクトリを含める必要があります。PATH
ところで、Z3 にはグラフィカル ユーザー インターフェイスや環境がありません。本質的には、自動推論用のライブラリです。z3.exeこのライブラリを使用して構築された単純な実行可能ファイルで、ファイルに保存されたコマンドを実行できます。
また、 rise4funで利用可能な Web インターフェイスを使用して Z3 で遊ぶこともできます。rise4fun には、SMT-LIBフロントエンドとPythonベースのフロントエンドがあります。どちらにもインタラクティブなチュートリアルがあります。
SMT について学ぶのに役立つリソースを次に示します。
- Z3 チュートリアル
- SMT-LIB のチュートリアル
- SMTアプリケーションについて説明した記事
- SMT-Lib ベンチマーク
- Stackoverflow:
[z3]検索ボックスに含めて、Z3 関連の質問を検索できます。
Z3 には、C、C++、.Net、Python、OCaml などのいくつかのプログラミング言語用の API があります。次のリリースでは、Java もサポートする予定です。ナイトリー ビルドの 1 つを使用して、既に Java で遊ぶことができます。Z3 ナイトリー ビルドの詳細については、こちらを参照してください。ナイトリー ビルドには、Z3 API を使用した Java サンプル アプリケーションが含まれています。
于 2013-03-16T18:10:04.193 に答える