如何在Visual Studio中使用z3？

Question

我想在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。所以，显然，我错过了一些东西，但我不知道是什么。

感谢您的帮助！

Answer 1

好的，多亏了我最终可以解决问题的评论：

我需要将libz3.dll添加到Linker-＆gt; Inputs中的附加依赖项 和链接器中的附加库依赖项的lib文件夹 - ＆gt; General。

感谢您的帮助！