是否可以使用 NuGet 在 Visual Studio 中安装 Z3 并与 C++ 一起使用？

Question

标题应该很清楚，但只是为了记录一下，我尝试使用 NuGet 安装 Z3，但包没有包含目录或 lib 文件，当然它不允许 C++ 或 C 编译。是否可以做到这一点，或者我应该采用 CMake 方式？

Answer 1

Visual Studio C++ 项目的包管理器是 Vcpkg。

在 Visual Studio 中，右键单击您的项目 -> 在终端中打开：

vcpkg install z3:x64-windows