您好,我从http://z3.codeplex.com/下载了 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_capi\LINK test_capi
尝试仅构建 MS.Z3 项目仍然给我错误 1。
我的最终目标是从 F# 程序中调用 Z3。有人可以为如何做到这一点提供一些指导吗?任何帮助,将不胜感激。