C で Z3 を使用する必要があり、SMT2 を作成するにはチェックを入れます。しかし、test_capi.c をコンパイルすることはできません。既に質問を検索したところ、2 つの質問しか見つかりませんでした。適用しようとしましたが、機能しませんでした。私が着ているもの：
- ウィンドウズ7 32ビット
- MinGW Windows
- ダウンロードhttp://z3.codeplex.com/sourcecontrol/latest # README
- http://z3.codeplex.com/releases/view/101914をダウンロードして、Z3py で開発されたコードをオンラインでテストします
次の行を使用してコンパイルしようとしました：
gcc -o test_capi -I ../lib test_capi.c - L .. /bin/external -LZ3 -lstdc -lgomp
しかし、フォルダーが見つからず../lib、../bin/external他の問題で使用されていたダウンロード ファイルで libz3.o も見つかりませんでした。
申し訳ありませんが、C でプログラミングを始め
ています。test_capi.ce をコンパイルするにはどうすればよいですか。コマンドと C 言語に相当するマニュアルが記載されています
( declare - function s ( Int Int ) Int )
( assert ( and ( > = ( s 1 1 ) 1 ) ( < = ( s 1 1 ) 4 ) ) )
( assert ( distinct ( 1 s 1 ) ( s 1 2 ) ( 3 s 1 ) ( s 1 4 ) ) ) ( check- sat) and (get -model ) .
ご清聴ありがとうございました。