用于Windows 64位机器的Z3-OPT二进制文件

Question

我正在尝试为Windows 64位计算机获取Z3-OPT（优化）二进制文件。为了制作这些文件，我已经尝试从unstable分支编译代码。但是，我无法编译它们，因为我的Visual Studio社区版不包含“nmake”命令。我尝试按照以下页面上的说明操作：

https://github.com/Z3Prover/z3

有人可以与我分享最新的Z3-OPT二进制文件吗？

Answer 1

Z3-opt现在与Z3相同，因此您只需使用主链接下载Z3即可。 版本位于：https://github.com/Z3Prover/bin/tree/master/releases 还有一个包含夜间构建的文件夹。

在获得命令行构建工具之前，必须在VS中启用C ++功能。这涉及更新 VS本身的安装，您可以从＆＃34;应用程序和功能＆＃34; （在Windows 10中）或以前版本的Windows中的类似位置。已经有一些关于这个问题的在线讨论。例如，https://developercommunity.visualstudio.com/content/problem/39632/adding-nmake-to-vs2017.html。