- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
您好,我从 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 测试_capi
尝试只构建 MS.Z3 项目仍然给我错误 1。
我的最终目标是从 F# 程序调用 Z3。有人可以就如何执行此操作提供一些指导吗?任何帮助将不胜感激。
最佳答案
编辑
这个答案反射(reflect)了 directory structure在 Z3 版本 <= 4.1.1 中使用。在 4.3 版中,代码库已经过重组/简化。
结束编辑
您使用的是哪个版本的 Visual Studio?我问是因为我想重现您描述的行为。描述了构建 Z3 的最简单方法 here .您应该使用 Visual Studio 命令提示符,并执行 msbuild
。看来你试过了,但出错了。以下是每个项目文件夹的简短描述:
lib
:Z3 源代码在这里。这是重要的文件夹。对于 visual studio 用户,它生成了一个静态库。dll
:用于将静态库包装为 Windows DLL 的项目。这与其他平台的用户无关。shell
:使用lib
中的静态库来构建z3.exe
。test
:一堆单元测试。它生成 test.exe
。Microsoft.Z3
:.Net API。它是 Z3 的官方 .Net API(C#、Visual Basic、F# 等)。这是您应该与 F# 结合使用的 API。Microsoft.Z3V3
:它是旧的 .NET API。它是 Z3 3.x 中可用的 API。我们维护它是因为一些用户仍在使用它。test_capi
:测试 Z3 C API 的应用程序。maxsat
:在 Z3 API 之上实现两个 maxsat 算法的小型应用程序。关于z3 - 在 Visual Studio 中构建 Z3 时遇到问题,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12984821/
我对 c# 有点陌生,我在尝试围绕这个 if-then 语句尝试实现时遇到了一些麻烦。 这是我的目标:当用户将订单输入系统时,将为每个订单创建一个唯一的 orderID。但是,一些附加功能是用户可以选
我已经搜索了这个特定的错误,发现根本问题涉及循环计数错误并导致程序超出数组的界限。 但是,当我将每个数组降低到数组开始丢失输出数据的程度后,它继续抛出相同的错误。我对 C/C++ 仍然是新手,但任何对
我不明白为什么我运行这个小程序时屏幕上没有任何显示? while 循环甚至开始了吗? #include #include int main() { char word[20]; char
我接手了一个用 Perl 编写的项目,它有一些依赖项,例如 Template::Toolkit , Image::ExifTool , 和 GD仅举几例。目前,这些依赖项使用 --prefix 构建到
我想对一个字段进行累积总和,但只要遇到 0 就重置聚合值。 这是我想要的一个例子: data.frame(campaign = letters[1:4] , date=c("jan","
不久前,该项目的 gradle 构建运行良好,但现在一直失败并显示以下错误(带有 --info 标志的输出): Starting process 'Gradle Test Executor 1'. W
我是编程新手,想用 Java 制作一个掷骰子程序来执行。代码如下: import java.math.*; public class Dices { public static int dice1=0
这个问题已经有答案了: What is a StringIndexOutOfBoundsException? How can I fix it? (1 个回答) 已关闭 5 年前。 我对 Java 完
这个方法一直抛出标题中的异常,我找不到原因,我已经通过连接创建了其他表,并且所有引用的表都已创建。我正在使用嵌入式JavaDB . private void createEvidenceTable()
我刚开始上课,这是我第三次尝试上课。我遇到了一个 NameError,我真的不知道如何解决。看看我的程序,看看你能不能帮忙。 import random import math import pyga
好吧,这是我的困境,我向 JFrame 添加了三个面板。第一个(不可见)第二个(可见)和第三个(不可见)..我使用第一个面板作为菜单,当您选择一个选项时,第一个面板被制作(可见),然后第三个面板被制作
我的部分代码遇到问题。如果我选择选项 A,它会运行并给我正确的答案,但是,如果我选择选项 S 或 M,它不会给我任何结果,只会去到它应该去的地方。已经尝试将 if 更改为 else if,但它显示“预
我这里有一些代码,但我正在努力解决它,因为我似乎无法掌握这个文件指针的东西。我对使用文件还很陌生。我见过类似的其他问题,并且尝试了对其他人有效的解决方案,但由于某种原因它们对我不起作用。这是出现问题的
我们有一个很大的应用程序,我们已经将 TODO 规则添加到质量门中,如果发现 TODO 注释,它会给出错误。如果我们只是删除 TODO 注释(这很可怕),它会起作用,但添加 TODO 注释的整个目的就
我正在尝试编写一个名为 isVowel 的函数,它接受一个字符(即长度为 1 的字符串)并在它是元音、大写或小写时返回“true”。如果该字符不是元音字母,该函数应返回“false”。 这看起来应该可
我一直在努力完成我正在做的这个小项目,但由于某种原因它无法正常工作。 问题是当我第一次访问该页面并单击出现在主要部分中的第一个链接时,它会根据需要显示弹出框。现在,当我点击另一天,例如星期天并尝试点击
我正在尝试制作一个 WPF 应用程序。我的窗口内有一个数据网格。我制作了另一个窗口,将新数据添加到我的数据网格中。虽然它按照我想要的方式工作,但我不断遇到异常。我的 MySQL 代码: using S
我试图在我似乎无法使 NSUserDefaults 正常工作的程序中保存几个首选项。如果有人可以查看我的代码并查看是否有任何错误,我们将不胜感激 NSString *kGameIsPaused = @
设置 SymmetricDS版本是3.9.1(也试过3.9.0) 设置是从 postgres 9.5.3 到 postgres 9.5.3 Windows 10 pc(客户端节点)到 Windows
经过长时间的努力,我终于(差不多)完成了我的java菜单程序。但是,我无法让我的返回更改功能在我的代码末尾工作。它给出了非常奇数的数字。有什么想法吗? 代码: import java.io.*; im
我是一名优秀的程序员,十分优秀!