如何将 z3 与 Visual Studio 一起使用？
How to use z3 with Visual Studio?
我想在 Visual Studio 2015 中使用 Z3。我为 Windows 下载了当前版本 (4.4.1) 的二进制文件。然后我建立了一个新项目，将 include-folder 添加到 include 目录，将 bin 文件夹添加到 librariy 目录。我当前的主文件（也是唯一的文件）是：
#include <z3++.h>
void main() {
z3::context ctx;
z3::expr expr = ctx.bool_val(4);
}
但是，当我尝试使用本地 windows 调试器 运行 时，显示了一些链接器错误，例如，未解析的外部符号 _Z3_mk_config 引用在 ... .所以，显然，我错过了一些东西，但我不知道是什么。
感谢您的帮助！
好吧，多亏了评论我终于可以解决问题了：
我需要将 libz3.dll 添加到 Linker->Inputs 中的 Additional Dependencies
和 lib 文件夹到 Linker->General 中的 Additional Library Dependencies。
感谢您的帮助！
我想在 Visual Studio 2015 中使用 Z3。我为 Windows 下载了当前版本 (4.4.1) 的二进制文件。然后我建立了一个新项目，将 include-folder 添加到 include 目录，将 bin 文件夹添加到 librariy 目录。我当前的主文件（也是唯一的文件）是：
#include <z3++.h>
void main() {
z3::context ctx;
z3::expr expr = ctx.bool_val(4);
}
但是，当我尝试使用本地 windows 调试器 运行 时，显示了一些链接器错误，例如，未解析的外部符号 _Z3_mk_config 引用在 ... .所以，显然，我错过了一些东西，但我不知道是什么。
感谢您的帮助！
好吧，多亏了评论我终于可以解决问题了：
我需要将 libz3.dll 添加到 Linker->Inputs 中的 Additional Dependencies 和 lib 文件夹到 Linker->General 中的 Additional Library Dependencies。
感谢您的帮助！