我应该将所有Z3求解器部分编译到我的项目中吗？还是只将/ src或/ include文件复制到我的项目中？
是，您将需要z3库和标题的编译版本才能使用它。如果您使用Linux或macOS，则可以从软件包中进行安装，但如果需要，可以始终自己进行编译。