1

Z3 C＃APIを使用すると、「BadImageFormatExceptionunhandled」という例外が発生します。実際、「Microsoft.Z3.dll」の参照を追加し、.NETFramework4.0を使用しています。詳細情報は

ファイルまたはアセンブリ'Microsoft.Z3、Version = 4.0.0.0、Culture = neutral、PublicKeyToken=9c8d792caae602a2'またはその依存関係の1つを読み込めませんでした。間違った形式のプログラムを読み込もうとしました。

だから問題は何ですか？

4

1 に答える 1

2

この質問への回答を参照してください： C＃でZ3を実行するとエラーが表示されます

これは、プロジェクトのプロパティで選択したプラットフォームターゲット（x86、x64、またはAnyCPU）に関連している可能性があります。必要に応じて、32ビットまたは64ビットバージョンのMicrosoft.Z3を参照してください。

上記のリンクにも他にもたくさんの提案があります。

于 2012-07-26T09:41:58.457 に答える