3

こんにちは私はhttp://z3.codeplex.com/からZ3をダウンロードし、Visual Studio 2012でZ3ソリューションを開きました（私はVSにまったく慣れていませんが、10年以上使用していません）。このソリューションには9つのプロジェクトがありますが、どちらを使用すべきかを判断するのに苦労しています。私はそれらのいくつかを推測することができますが、他のものはあまり明確ではありません。例えば。Microsoft.Z3とMicrosoft.Z3V3の違いは何ですか？誰かがさまざまなプロジェクトとは何か、どのプロジェクトを構築するかを簡単に説明できますか？

とにかくキックのためだけにトップレベルのソリューションを構築しようとしましたが、次のエラーが発生しました

エラー1エラーRC1015：インクルードファイル'afxres.h'を開くことができません。C：\ Projects \ z3-src-4.1.2 \ z3 \ dll \ dll.rc 10 1 dll

エラー2（shell.rcを除いてエラー1と同じ）

エラー3エラーLNK1104：ファイルを開くことができません'C：\ Projects \ z3-src-4.1.2 \ z3 \ Debug \ z3_dbg.lib' C：\ Projects \ z3-src-4.1.2 \ z3 \ test_capi \ LINK test_capi

MS.Z3プロジェクトだけをビルドしようとすると、エラー1が発生します。

私の最終的な目標は、たとえばF＃プログラムからZ3を呼び出すことです。誰かがこれを行う方法についていくつかのガイダンスを提供できますか？どんな助けでもいただければ幸いです。

4

1 に答える 1

3

編集

この回答は、Z3バージョン<=4.1.1で使用されているディレクトリ構造を反映しています。バージョン4.3では、コードベースが再編成/簡素化されました。

編集終了

どのバージョンのVisualStudioを使用していますか？あなたが説明した振る舞いを再現したいので、お願いします。Z3を構築する最も簡単な方法はここで説明されています。Visual Studioコマンドプロンプトを使用して、を実行する必要がありますmsbuild。あなたはそれを試したようですが、エラーが発生しました。各プロジェクトフォルダの簡単な説明は次のとおりです。

  • lib：Z3ソースコードはこちらです。これは重要なフォルダです。Visual Studioユーザーの場合、静的ライブラリを生成しました。
  • dll：静的ライブラリをWindowsDLLとしてラップするためのプロジェクト。これは、他のプラットフォームのユーザーには関係ありません。
  • shell：からの静的ライブラリを使用しlibてビルドしz3.exeます。
  • test：一連のユニットテスト。を生成しtest.exeます。
  • Microsoft.Z3：.NetAPI。これは、Z3の公式.Net API（C＃、Visual Basic、F＃など）です。これは、F＃で使用する必要があるAPIです。
  • Microsoft.Z3V3：古い.NETAPIです。これは、Z33.xで使用可能なAPIでした。一部のユーザーがまだ使用しているため、これを維持しています。
  • test_capi：Z3CAPIをテストするアプリケーション。
  • maxsat：Z3APIの上に2つのmaxsatアルゴリズムを実装する小さなアプリケーション。
于 2012-10-20T03:05:46.200 に答える