C++ プログラムで z3 API を使用したいと考えています。どのヘッダー ファイルを含めるか、z3 関数などを含むプログラムを実行する方法を考えています。
z3 ソース コードに付属するファイルを確認しました。example.cppこのファイルを実行するmake examplesには、内部でコマンドを実行するビルド ディレクトリで実行する必要がありました。
g++ -o cpp_example -I../src/api -I../src/api/c++
../examples/c++/example.cpp libz3.so -lpthread -fopenmp -lrt
プログラムを作成する場合、プログラムをコンパイルする../src/api必要があるたびに、このようにコンパイルする必要がありますか (lib ファイルをインクルードしてリンクします)。
私を助けてください、私は以前に z3 を使用したことがありません。どんな助けでも大歓迎です。:)