在Visual Studio中构建Z3时遇到问题
您好，我从下载了Z3，然后在Visual Studio 2012中打开了Z3解决方案。（虽然我对VS并不完全陌生，但我已经10多年没有使用过它了）。这个解决方案中有9个项目，但我很难判断应该使用哪个项目。我能猜到其中一些，但其他的不太清楚。Microsoft.Z3和Microsoft.Z3V3之间有什么区别？有人能简单地解释一下不同的项目是什么以及要构建哪些项目吗 无论如何，只是为了好玩，我尝试构建顶级解决方案，但出现了以下错误 错误1错误RC1015:无法打开包含文件“afxres.h”。C:\Projects\z3-src-4.1.2\z3\dll\dll.rc 10 1 dll 错误2（与错误1相同，但在shell.rc中除外） 错误3错误LNK1104:无法打开文件“C:\Projects\z3-src-4.1.2\z3\Debug\z3_dbg.lib”C:\Projects\z3-src-4.1.2\z3\test\u capi\LINK test\u capi 尝试只构建MS.Z3项目仍然会给我带来错误1 我的最终目标是从一个F#程序调用Z3。有人能为如何做到这一点提供一些指导吗？ 任何帮助都将不胜感激。编辑在Visual Studio中构建Z3时遇到问题,z3,Z3,您好，我从下载了Z3，然后在Visual Studio 2012中打开了Z3解决方案。（虽然我对VS并不完全陌生，但我已经10多年没有使用过它了）。这个解决方案中有9个项目，但我很难判断应该使用哪个项目。我能猜到其中一些，但其他的不太清楚。Microsoft.Z3和Microsoft.Z3V3之间有什么区别？有人能简单地解释一下不同的项目是什么以及要构建哪些项目吗 无论如何，只是为了好玩，我尝试构建顶级解决方案，但出现了以下错误 错误1错误RC1015:无法打开包含文件“afxres.h”。C:
此答案反映了Z3版本中使用的问题，谢谢！我正在使用VS Professional 2012版本。11.0.50727.1 RTMREL。我之前看过自述文件，但在我的VS安装中没有“msbuild”命令，只有一个名为msbuild的文件夹，其中包含一些XML定义。是否给出了VS 2010的说明？抱歉，我没有看到您指的是VS命令行，而不是常规命令行。我正在尝试命令行构建。好的，它完成了。它报告了关于afxres.h的两个错误，而不是Studio的链接错误。也许它只是没有走那么远？下面是输出的文本：它报告了与Studio构建相关的关于afxres.h的2个错误，但没有报告Studio的链接错误<代码>“C:\Projects\z3-src-4.1.2\z3\z3 prover.sln”（默认目标）（1）->”C:\Projects\z3-src-4.1.2\z3\shell\shell.vcxproj（默认目标）（3）->（ResourceCompile目标）->shell.rc（10）：致命错误RC1015:无法打开包含文件“afxres.h”。“C:\Projects\z3-src-4.1.2\z3\z3 prover.sln”（默认目标）（1）->“C:\Projects\z3-src-4.1.2\z3\dll\dll.vcxproj”（默认目标）（4）->dll.rc（10）：致命错误RC1015:无法打开包含文件“afxres.h”。I将安装VS 2012并重试。我目前正在使用VS2010。