无法使用CVC4 C++ API编译代码
CVC4是一个开源的自动定理证明器，用于解决数学和计算机科学中的问题。它提供了C++ API，使开发者能够使用C++语言编写代码来调用CVC4的功能。
然而，由于CVC4 C++ API的使用限制，可能会导致无法编译代码的问题。这可能是由于编译器或库的版本不兼容，或者在代码中使用了不支持的特性或语法。
为了解决这个问题，可以尝试以下几个步骤：
- 确认编译环境：确保你的编译环境满足CVC4 C++ API的要求。查阅CVC4的官方文档或API文档，了解所需的编译器版本、依赖库和其他要求。
- 检查代码：仔细检查你的代码，确保没有使用不支持的特性或语法。如果有，尝试修改代码以符合CVC4 C++ API的要求。
- 更新库和依赖：如果你的编译环境中的库或依赖版本过旧，可能会导致编译问题。尝试更新这些库和依赖，以确保与CVC4 C++ API兼容。
- 寻求帮助：如果以上步骤都无法解决问题，可以寻求CVC4的官方支持或社区支持。他们可能能够提供更具体的解决方案或建议。
总结起来，无法使用CVC4 C++ API编译代码可能是由于编译环境不符合要求、代码中使用了不支持的特性或语法，或者库和依赖版本过旧所致。通过确认编译环境、检查代码、更新库和依赖，并寻求相关支持，可以解决这个问题。
相关·内容
我有一个程序，可以动态生成SMT格式的表达式，我正在尝试将这些表达式连接到CVC4，以测试可满足性并得到模型。我想知道是否有一种通过CVC4 C++ API解析这些字符串的方便方法，或者最好将生成的SMT代码存储在一个文件中并将输入重定向到cvc4可执行文件。
浏览 2提问于2020-06-04得票数 0
回答已采纳
我尝试使用cvc4中的位向量旋转C++ API，但是当涉及到运算符表达式时，这个API有点混乱。
使用以下代码(摘录)：
#include <iostream>
#include <cvc4/cvc4.h>
using namespace std;
using namespace CVC4;
int main() {
ExprManager em;
SmtEngine smt(&em);
smt.setLogic("QF_BV");
Type bitvector32 = em.mkBitVectorType(3
浏览 4提问于2016-12-23得票数 0
回答已采纳
1回答
我只是想编译这个文件helloworld.cpp
#include <iostream>
#include <cvc4/cvc4.h>
using namespace CVC4;
int main() {
ExprManager em;
Expr helloworld = em.mkVar("Hello World!", em.booleanType());
SmtEngine smt(&em);
std::cout << helloworld << "
浏览 7提问于2016-08-13得票数 0
回答已采纳
1回答
这是本机CVC语言中的一个示例：
isblue: STRING -> BOOLEAN;
ASSERT isblue("sky");
ASSERT isblue("water");
QUERY isblue("sky"); //valid
QUERY isblue("pig"); //invalid
我如何使用C++ API为CVC4编写它？找不到任何关于如何做到这一点的文档。
浏览 2提问于2014-11-29得票数 1
回答已采纳
1回答
我正在尝试从FreeBSD上的源代码编译，但在配置时遇到了一个小问题- GMP找不到，尽管共享对象显然位于公共路径中：
$> ls /usr/local/lib | grep gmp
libgmp.a
libgmp.la
libgmp.so
libgmp.so.10
libgmp.so.10.1.3
libgmpxx.a
libgmpxx.la
libgmpxx.so
libgmpxx.so.4
libgmpxx.so.4.3.3
$> echo $PATH
/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin: \
/
浏览 4提问于2014-09-10得票数 1
我想写一个C++ DLL并从Delphi6应用程序调用它。我从教程中的简单HelloWorld代码开始，尽管它在从C++程序调用时工作得很好，但是在Delphi中它会导致以下错误消息
MyDll.h
#ifndef _MY_DLL_H_
#define _MY_DLL_H_
#if defined MY_DLL
#define MYDLL_API __declspec(dllexport)
#else
#define MYDLL_API __declspec(dllimport)
#endif
extern "C"
{
MYDLL_API int HelloW
浏览 6提问于2015-03-17得票数 4
回答已采纳
我试图使用SMTLIB格式在Z3中表示set成员资格：
(declare-const a (Set Int))
;; the next two lines parse correctly in CVC4, but not Z3:
(assert (= a (as emptyset (Set Int))))
(assert (member 12 a))
;; these work in both solvers
(assert (= a (union a a)))
(assert (subset a a))
(assert (= a (intersection a a)))
(check-s
浏览 0提问于2020-11-25得票数 2
回答已采纳
我正在将我的问题转化为SMT，并且我注意到SMT求解器(MathSat5和CVC4)在解决sat实例时很慢。我被停职的原因是，我的翻译中有些东西使我的翻译速度变慢了。
我附加了一个示例cnf实例和smt2翻译以供参考，下面我提供了一个大型实例的求解时间(不包括翻译时间)，以比较MathSat5、CVC4和MiniSat。
Solver Solver Time (s)
-------------------------------------
MiniSat 0.028062 s
MathSat5 2.62970
浏览 5提问于2014-12-04得票数 2
回答已采纳
我根据他们的手动cvc4 从源代码中构建了。我运行了make check，它运行得很完美，然后是sudo make install。然后，我尝试运行一个适用于z3的简单示例：
(declare-const i Int)
(declare-const j Int)
(assert (= i 5))
(assert (= (+ i j) 9))
(check-sat)
(get-value (i j))
但我知道这个错误：
CVC4 Error:
internal error: unhandled language LANG_AUTO in AntlrInput::newInput
我做错了什
浏览 0提问于2018-06-14得票数 0
回答已采纳
我从源代码编译并安装了这两个cvc4。Cvc4是按建议下载和安装的，Cryptol是从它的git存储库下载的。沙箱和安装完成时没有出错(使用GHC7.8.3 x86_64)。只有在调用cryptol并发出:prove True之后才会发生此问题。这是所有的东西：
athan@namek ~/lib> cryptol
_ _
___ _ __ _ _ _ __ | |_ ___ | |
/ __| '__| | | | '_ \| __/ _ \| |
| (__| | | |_| | |_)
浏览 1提问于2014-11-21得票数 1
回答已采纳
1回答
我有一个与VSCode turn of 完全相反的问题-- Visual Studio代码无法为我定义_WIN32。这是一个在Windows上使用Microsoft编译器开发的跨平台项目，但也需要能够在Linux上编译，所以我有 #ifdef _WIN32
#include <windows.h> 失败，然后VS代码用红色下划线标记所有对Windows API类型等的引用。( include机制本身工作正常，例如，它没有问题，包括常规的C++标头。) 是否有任何已知的原因导致VS代码无法定义_WIN32？我链接的问题表明它应该是这样的，而且我并没有故意更改任何与此相关的设置。
浏览 72提问于2021-02-12得票数 0
回答已采纳
5回答
背景:基于网络的服务(tcp+udp，而不是http)存在于即将公开发布的C++ linux客户端API中。此客户端API使用普通的tcp套接字、udp套接字、C++名称空间和stl的部分(如std::map和std::vector )，并将作为一组头文件以及要链接到的.a和.lib文件发布。
问题：刚刚开始研究如何将这个C++客户端API移植到Windows。在Windows下使用gcc/g++有意义吗？我的第一个倾向是，这是行不通的，因为Windows上的开发人员通常使用套件，而且他们也无法链接到gcc生成的库。这是一个正确的假设，还是gcc提供了一些漂亮的开关来产生微软编译器和微软链接器
浏览 18提问于2010-12-18得票数 1
回答已采纳
所以我对C++非常陌生，我在玩代码。我正在写一份如果-声明，将检查你是否写了“是”或“否”，然后在此基础上给出不同的答案。
我遇到的问题是，当我写下“不”时，我的回答就像我写了“是”、“很好”一样。
我使用的是控制台(MSDOS)，而不是API，同样，我对C++和总体编程非常陌生，这可能是我无法让它工作的原因。
下面是代码：
string happy;
getline(cin, happy);
if(happy == "yes" || "Yes")
{
cout << "Nice" << endl;
}
els
浏览 0提问于2015-10-23得票数 3
回答已采纳
1回答
我正在尝试用VS2017创建一个c++ DLL项目，以便在VB.NET VS2017项目中使用。
c++代码；
MyCudaLib.h
#ifndef DLL3_H
#define DLL3_H
#ifdef DLL3_EXPORTS
#define DLL3_API __declspec(dllexport)
#else
#pragma message("automatic link to MyCudaLib.LIB")
//#pragma comment(lib, "MyCudaLib.lib")
#define DLL3_API __declspec(d
浏览 1提问于2018-07-18得票数 0
2回答
我目前正在尝试使用定义-有趣-rec编写SMT脚本。我已经用Z3版本4.4.2和CVC4版本1.4进行了测试。据我所知，这些都是这两种功能的最新版本，它们都支持这个特性*。但是，两者似乎都不认识该命令。
(根据Nikolaj的答复，我对此作了一些修改。它仍然给出错误消息。)具体而言，鉴于：
(define-fun-rec
fac ((x Int)) Int
(
ite (<= x 1)
1
(* x (fac (- x 1)))
)
)
(assert (= (fac 4) 24))
(ch
浏览 4提问于2016-07-25得票数 1
回答已采纳
我在我的电脑上安装了Abaqus CAE，Visual 2017，Visual C++编译器。我试图在Visual C++项目中引用Abaqus CAE的静态库来读取我的ODB文件。
这是我试图编译和执行的代码文件：
#包括"pch.h“
#include
#包括<odb_API.h>
#包括<odb_String.h>
#包括<odb_Repository.h>
使用命名空间std；
int main()
{
cout << "Initializing API"<<endl;
odb_initializeA
浏览 0提问于2019-01-31得票数 1
SMT-LIB版本2.6的指定了一个(declare-datatypes)语句。在此功能的中提到，所提出的语法与当时Z3和CVC4支持的语法不同。
是否有任何SMT解算器支持SMT-LIB，当前支持SMT-LIB2.6草案中的建议语法，或者有补丁将对建议语法的支持添加到求解器中？
我感兴趣的逻辑是简单n元组的QF_ABV +数据类型。我不需要高级数据类型特性，比如递归数据类型或参数数据类型。
浏览 20提问于2017-03-13得票数 2
回答已采纳
1回答
我很难运行TortoiseHg (用于mercurial的GUI)。PPA已经严重过时了，并且没有自我包含的AppImage或SnapCraft映像。
我以前在错误的地方问过这个问题(https://bugs.kde.org/show_bug.cgi?id=388980)
出于某些原因，需要重新编译Qsci以运行某些Qt应用程序。
我已经成功地重新编译了Qsci (version = QScintilla_gpl-2.10.2.tar.gz)，但是在尝试创建python时，它会抱怨(无法创建C++代码)。
$ python configure.py
Configuring QScintilla
浏览 0提问于2018-01-18得票数 0
回答已采纳
2回答
我想知道人们如何在SMT解算器中实现浮点算术结构的位爆炸。有没有现成的库或工具可以做到这一点(VHDL，...)，或者它们是从头开始实现的？这表示有多少行(C？C++ ?)代码？
提前谢谢。
浏览 9提问于2017-01-03得票数 1
3回答
我正在使用C创建程序，但是，我需要使用很多只为C++提供API的库。那么，我是否有可能在C++中创建一个共享对象，然后使用C访问它的功能呢？
我要传递和返回的唯一数据是C兼容的数据类型。
在这里，转换或迁移到cpp不是一种选择。
如果无法接口这些代码，如何从C++代码获得信息到C代码？我尝试从C调用C++函数，但是当我包含<string>时，在链接过程中会出现错误。因此，当我从C调用C++函数时，是否应该只使用与C编译器兼容的代码？
C++报头cppfile.hpp
#ifndef CPPFILE_H
#define CPPFILE_H
#ifdef __c
浏览 0提问于2013-02-17得票数 36
回答已采纳
我在Github (https://github.com/serizba/cppflow)上发现了这个有趣的项目，它是用C语言编写的tensor api的c++包装器。 但是我在安装的时候遇到了一些问题.. 我已经安装了一个c++编译器，但是当我尝试在visual studio中构建它时，我得到了以下错误： 无法从“T*”转换为“std：：vector>” 有没有人有过使用这个包装器的经验，或者认识这个错误消息？我最初的想法是我使用了错误的c++ compilier。
浏览 70提问于2019-06-17得票数 0
回答已采纳
2回答
SMT到底用于什么量词？
、、、、
我一直在研究各种SMT求解器，主要是Z3、CVC4和VeriT。他们都对用量词解决SMT问题的能力有模糊的描述。他们的文档主要是基于示例的(Z3)，或由学术论文组成，描述可能发生或可能没有实际实现的更改。
我知道一阶逻辑有一些可判定的片段，例如：
有限限界量词
一元一阶逻辑
我想知道的是，哪类FOL (如果有的话)是各种SMT解算器保证完整的？我如何知道我正在研究的一个问题是否存在于它们的完整片段中？
浏览 4提问于2017-10-26得票数 5
回答已采纳
我使用C++程序自动生成这样的子句：
((((((condition1#0 and not action1#0 and not action2#0 and TRUE) and (action1#1 and not action2#1 and not condition1#1 and TRUE) and TRUE)) or (not action1#0 and not action2#0 and not condition1#0 and action2#1 and not action1#1 and not condition1#1 and TRUE) or FALSE)))
然后，我需要用一些
浏览 9提问于2018-06-01得票数 0
回答已采纳
我的项目使用NDK r10d作为c++代码。当我用API19编译这个项目时，它工作得很好，但是当我用API21编译它时，它会在运行时崩溃。
当加载c时，我得到：
dlopen("/data/app-lib/com.my.app-2/libMyCode.so")失败: dlopen failed:无法找到由“libMyCode.so”引用的符号"stpcpy“
然后它就坠毁了：
java.lang.UnsatisfiedLinkError: dlopen failed:无法找到由“libMyCode.so”引用的符号"stpcpy“
我使用运行An
浏览 6提问于2015-04-08得票数 2
回答已采纳
为了在C文件中使用C++代码，我读到我们可以只使用extern "C" { (where the c++ code goes here)}，但是当我尝试使用cout打印输出时，我总是得到一个错误，因为它无法识别这个库。我想我只是对外部" C“如何允许您在C中使用C++代码感到困惑。
浏览 4提问于2016-04-22得票数 8
3回答
我正在编写一个C程序(myapp)，它需要使用特定的api；这个api是用C++编写的。我曾经使用过C和C++，但从来没有同时使用过，我感到很困惑。
因此，api提供了以下目录，我将其放在一个名为include的文件夹中，与我的makefile位于同一级别：
libmyapi.a
api/api.h
我的主要源文件是src/myapp.c，它包含使用#include "api/api.h"的api。
我的make命令是(加上一些标志，我没有列出这些标志，因为我认为它们在这里不相关)：
gcc -Linclude -lmyapi -Iinclude src/myapp.c -
浏览 2提问于2020-05-26得票数 4
回答已采纳
我正在编写一个C#应用程序，它在C++ API中调用几个函数。我将C++代码构建成一个DLL，C#代码使用DllImport调用API。(我正在为.DEF DLL使用一个C++文件，所以我不需要导出“C”)。
到目前为止，API有一个函数，目前它绝对什么也不做：
bool Foo()
{
return false;
}
在C#中，我有以下内容：
public class FooAPI
{
[DllImport("Foo.dll")]
public static extern bool Foo();
}
...
bool b = FooAPI.Foo();
浏览 1提问于2009-11-24得票数 12
回答已采纳
1回答
我想用CLion编译MEX文件(MATLAB可执行文件)，而不是MATLAB (这对写C代码没有帮助)。然而，MEX文件需要#include mex.h(pp)，这在普通的C++上是不可用的。此外，没有main函数的格式是不同的。 我正在使用MATLAB R2018b，希望使用the new C++ API for MEX-files来使用C++11。但是，我也可以使用旧的API。 我已经尝试过在CMake's FindMatlab module和其他几个地方查找。但是，大多数其他指南都已过期，甚至它们的参考链接都没有连接到它们的原始页面。 我绝对是CMake的新手，我不知道从哪里开
浏览 43提问于2019-02-19得票数 6
回答已采纳
我正在寻找最愚蠢的方法将一个VB6布尔变量传递给一个函数(用C++编写，stdcall)。
C++函数将使用这个VB6变量设置结构的"bool“变量。
我试图在C++中这样声明：
extern "C" __declspec(dllexport) int SetParameter( BOOL bErrorView)
{
DLL_sSettings nSet;
nSet.bErrorView =(bErrorView != FALSE);
int ret = stSetParameter(sizeof(DLL_sSettings), nSet)
浏览 2提问于2014-11-09得票数 0
回答已采纳
3回答
由于C++固有的可调用特性，用C或Python编写的API是否总是可以在给定源代码的情况下放入库中，从而从Python中调用？
换句话说，给定一个C/C++ API，您可以在源代码上使用distutils运行setup.py脚本，并有效地使用python程序中的C/C++ API吗？
浏览 2提问于2011-12-02得票数 1
回答已采纳
因此，我在一个C++头文件中获得了这个函数原型：
extern LIBRARY_API BOOL read(unsigned int in_one, unsigned int & value);
但是我是通过MATLAB文件运行它的，所以它可能必须在C中，而不是C++中。由于引用是C++唯一的东西，有人建议将函数原型更改为指针参数。那么我可能会有这样的东西：
extern LIBRARY_API BOOL read(unsigned int in_one, unsigned int * value);
然后，在mex文件中，我将确保创建了无符号int *value，而不是无符号int值
浏览 2提问于2017-07-12得票数 2
我有一个非常简单的C++测试项目给出了错误：
error LNK2001: unresolved external symbol "int __cdecl DnsPluginInitialize(void *,void *)" (?DnsPluginInitialize@@YAHPEAX0@Z)
我的头文件如下所示：
#ifdef DNSPLUGIN_EXPORTS
#define DNSPLUGIN_API __declspec(dllexport)
#else
#define DNSPLUGIN_API __declspec(dllimport)
#endif
DN
浏览 1提问于2020-01-11得票数 1
回答已采纳
13回答
我正在学习C++，我刚刚开始学习一些Qt(编写GUI程序的功能)。我问自己以下问题：
C++以前没有语法，无法要求操作系统提供窗口或通过网络进行通信(我承认，API也不完全理解)，它是如何突然通过用C++编写的库获得这样的功能的呢?在我看来，这一切似乎都是循环的。在这些库中，您可能会想出什么C++指令？
我意识到，对于一个经验丰富的软件开发人员来说，这个问题似乎微不足道，但我已经研究了几个小时，却没有找到任何直接的回应。这已经到了我无法遵循关于Qt的教程的地步，因为库的存在是我所无法理解的。
浏览 17提问于2014-07-28得票数 212
回答已采纳
2回答
我很难把这件事办好。我创建了一个测试解决方案(VS2015)，它包含一个c++ DLL项目、一个c++ ConsoleApplication和一个c# ConsoleApplication。两个console Application都在其主方法中调用DLL函数，并将结果打印到控制台。所有项目都构建在同一个目录中。
这在c++ ConsoleApplication中工作得很好，因为我只是添加了对DLL的引用并包含了标题。
在c# ConsoleApplication中，我无法让它工作。我知道它的非托管代码，我需要使用DLLImport。
当我尝试运行c#应用程序时，它会在调用test()时引发一
浏览 9提问于2016-02-03得票数 1
回答已采纳
3回答
我有一个程序的源代码。源代码非常庞大，用C/C++编写。我有修改源代码、编译和执行源代码的凭证。
我想知道这个程序在执行时打开和关闭的所有文件的文件名。如果按照文件操作发生的顺序对此列表进行排序，则为“加号”。
我怎样才能得到这些信息？是否需要使用某种监视工具，或者是否可以将库调用注入到C++代码中以实现这一点？代码太大，太复杂，无法找到每个打开/关闭调用的文件，并在其中添加一个printf。或者向文件打开的API调用中添加伪宏也很困难。
请注意，这与查看进程当前打开的文件不一样。我知道关于StackOverflow的许多问题已经解决了这个问题(使用lsof或/proc等等)。
浏览 3提问于2014-05-06得票数 1
回答已采纳
1回答
我有一个库，我正在为它编写包装器，然后我尝试在它上生成SWIG包装器，这样我就可以直接从Java调用。
我遇到了一个问题，我无法调试，因为基本上有0信息(Java侧)。这是我要处理的问题。我有一个这样的定制课程：
class APIClass {
private:
public:
APIClass();
void mbstowcsTest();
};
它的实现如下所示
typedef unsigned short AName[32];
void APIClass::mbstowcsTest() {
const char* source = "D:\\
浏览 0提问于2018-10-03得票数 0
回答已采纳
1回答
我开始使用JNI开发NDK -本地开发工具包。
根据我的理解，包含：1.源代码，其中包含一组.so库(和c/c++头文件)，每个库都专门编译到不同的Architecture中:例如arm、mips、x86。它为Android设备提供了一些c/c++ API。2.是负责构建每个安卓体系结构的工具链。
使用NDK：：的示例
我在我的应用程序中使用的是c++代码中的logcat，为此，我将Android.mk添加到了Android.mk中(在安卓工作室-- gradle属性)：
LOCAL_LDLIBS := -llog
在我的c++代码中，我包括了标题：
#include <android/
浏览 0提问于2015-01-05得票数 0
回答已采纳
我正在编写一个库的API。库本身将用c++编写，但是为了获得最好的跨语言兼容性，API将使用extern "C"导出(我稍后将从C#、C++、可能C和其他几个方面使用这个API )。
显然，API不能包含整个类或其他c++特定特性(比如抛出异常)，但我的问题是：
我可以在导出的API中使用bool类型吗？毕竟，这是一个POD。
可以使用指向类的不透明指针吗？如果是这样的话，我将如何在头文件中声明它们，以便可以从C代码中使用头文件？
浏览 0提问于2014-05-15得票数 5
回答已采纳
代码如下所示：
规格：
type Some_Record_Type is private;
procedure Deserialize_Record_Y(Record: in out Some_Record_Type)
with Post => (
if Status_OK then (
...
other postconditions
...
and then
Record_Field_X_Count(Record) = Record_Field_X_Count(Record'Old)
浏览 2提问于2020-02-18得票数 4
回答已采纳
2回答
我有一个C++ api，我无法更改以下内容：
公开对象(轻松)公开必须由调用方(经典触发器-侦听器设计模式)派生的接口。
我成功地将这个API封装到python中，使用了SWIG和director特性，它允许跨语言派生。然而，当我试图使用ndk编译它，并在Android中的Dalvik的VM中公开它时，我发现在SWIG中的董事是通过RTTI支持的，而Android不支持RTTI。
你知道我怎样才能克服这个限制吗？基本上，我有一种使用JNI和SWIG在Java中公开本机对象的简单方法，但我需要能够从本机代码中触发我的Java代码。
浏览 2提问于2011-04-13得票数 1
回答已采纳
1回答
web服务器上的图像处理
、、、、
我想在服务器上运行图像处理算法，它可以很容易地与web应用程序交互。图像处理算法计算量很大，无法在定制的库中使用。目前，我在Heroku上使用Rails作为我的网站。
实现这一目标的最佳架构是什么？从网站运行的图像处理中获取图像，并在网站上显示。
我的大部分图像处理代码都在C/C++上。
我可以直接从Rails调用C/C++代码吗？这在Heroku上有可能吗？
还是我应该设计一个C/C++代码公开一些API的系统，这些API可以被服务器调用？
浏览 1提问于2014-07-29得票数 1
回答已采纳
1回答
这是我的第一个博客或问题。我想开发平台抽象层(PLA)的移动应用程序使用c++。例如，从移动应用程序中，我可以与蓝牙设备对话，而不受干扰，而该设备正在运行底层操作系统(如IOS、ANDROID等)。因此，我需要发现哪个操作系统正在运行，无论是IOS还是安卓，都使用c++代码，但不调用任何操作系统的原生API。
因此，是否有人会建议你的想法，我们如何能够确定操作系统类型(即，IOS，安卓)和操作系统版本使用c++代码。
开发哪一种IDE更适合开发c++代码？
提前谢谢！
谢谢拉朱。
浏览 0提问于2014-01-15得票数 0
回答已采纳
在这里帮我一下，因为我一半相信我不能做我想做的事情，一半相信应该有一个合适的变通办法。
我有一个用C++实现的动态链接库，因此可以将一些类导出到链接到它的其他C++模块。这很好。现在我想从一个C模块(另一个动态链接库)链接到这个动态链接库，所以我将提供一个“扁平化”的C接口，并在内部处理C++的东西。这也很好。
问题是我想把它作为一个.h和相关的.lib提供给C或C++客户机。因此，我的DLL中有类似以下内容的内容：
#ifdef DLL_EXPORTS
#define DLL_API __declspec(dllexport)
#else
#define DLL_API __declspec
浏览 0提问于2013-04-05得票数 2
回答已采纳
2回答
我希望有一个Scilab函数，它能够改变它的输入变量，例如在C中我可以有
void double(int* x){
*x *= 2;
return;
}
在Scilab中有intppty、funptr、addinter、istk、sadr和stk，但是我找不到任何有用的例子。Scilab确实有pointer类型(即128)。如果你能帮我解决这个问题，我会很感激的。
P.S.1. I也反映了这个问题。
P.S.2. Scilab还有intersci、SWIG、fort、external、call、API_Scilab/gateway，它们可以接口C/C++函数或<code&
浏览 2提问于2019-03-08得票数 0
回答已采纳
7回答
用Visual C/C++ 2005/2008编写的程序可能无法使用其他编译器(如GNU C/C++ )编译，反之亦然。例如，当试图重用使用windows.h的代码时，这些代码是为一个特定编译器编写的，需要注意哪些区别？
有没有关于如何生成与一个或另一个编译器兼容的代码的信息，例如，GC/C++或MSVC/C++？尝试这样做会导致什么问题？
其他的编译器，比如LCC和Digital Mars呢？
浏览 3提问于2008-11-17得票数 3
回答已采纳
我正在尝试包装我给出的一个C API，以便它可以在Python中使用SWIG。此API要求将回调函数从Python传递给它(Python将Python函数传递给C，C调用它并在Python中执行)。这是可行的使用C++和导演- %module(directors="1")。但是，当我将-c++选项添加到swig设置文件时，它无法在链接阶段找到任何C函数。它编译得很好，在我添加-c++选项之前，它将在Python中运行，减少所需的回调。
我创建了一个非常简单的示例，演示代码：
增编c：
#include <stdio.h>
int add_func(int x, in
浏览 11提问于2021-12-08得票数 1
我想用nodejs做一个REST api，它编译c和c++代码，并使用nodejs返回响应结果，比如codechef
浏览 0提问于2017-02-24得票数 0
1回答
我有一个Matlab科学代码，我想精确地比较Matlab代码的输出，其中包含了对反向函数pinv() (本地Matlab)的调用，并将输出相同的Matlab代码，现在是pinv()的C++实现。
我使用Matlab代码来调用C++ pinv ()，而不是Matlab ()：我使用相关的API将C++ pinv编译成一个mex文件。
对编译到mex文件的函数的调用，除了Matlab和C++ pinv()实现上的差异之外，还能带来一些数值上的差异吗？
浏览 2提问于2014-10-16得票数 0
回答已采纳
1回答
以下SMT代码在Z3、MathSat和CVC4中运行时没有出现问题，但它不在Alt中运行，请告诉我发生了什么，非常感谢：
(set-logic QF_LIA)
(set-option :interactive-mode true)
(set-option :incremental true)
(declare-fun w () Int)
(declare-fun x () Int)
(declare-fun y () Int)
(declare-fun z () Int)
(assert (> x y))
(assert (> y z))
(push 1)
(assert (&g
浏览 5提问于2013-11-29得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
