我想在我的 C++ 程序中使用 z3 API。我想知道要包含哪些头文件以及如何运行包含 z3 函数等的程序。
我看到了example.cpp
z3 源代码附带的文件,为了运行这个文件,我必须make examples
在内部执行命令的 build 目录中运行
g++ -o cpp_example -I../src/api -I../src/api/c++
../examples/c++/example.cpp libz3.so -lpthread -fopenmp -lrt
现在,如果我创建任何程序,是否../src/api
每次需要编译程序时都需要像这样编译它(包含并链接 lib 文件)?
请帮助我,我以前从未使用过z3。任何帮助是极大的赞赏。:)