如何在Visual Studio中使用z3

How to use z3 with Visual Studio?

本文关键字：z3 Studio Visual      更新时间：2023-10-16

我想在Visual Studio 2015中使用Z3。我下载了适用于Windows的当前版本（4.4.1）的二进制文件。然后我设置了一个新项目，将include文件夹添加到include目录，将bin文件夹添加到librariy目录。我当前的主文件（也是唯一的文件）是：

#include <z3++.h>
void main() {
  z3::context ctx;
  z3::expr expr = ctx.bool_val(4);
}

然而，当我尝试使用本地windows调试器运行此程序时，会显示许多Linker错误，例如，…中引用的未解析外部符号_Z3_mk_config。所以，很明显，我错过了一些东西，但我不知道是什么。

谢谢你的帮助！

好吧，多亏了这些评论，我终于可以解决问题了：

我需要将libz3.dll添加到Linker->Inputs中的Additional Dependencies并将lib文件夹添加到Linker->General中的Additional Library Dependencies。

谢谢你的帮助！

相关文章：