如何在窗口中成功运行cudd库

Question

是否有任何二进制决策图（BDD）可用于windows.i试图在vc ++ 6.0中运行cudd ...这是提到的链接 http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

但它没有正常工作。运行示例代码时出现编译错误

Answer 1

我为Windows编译了CUDD，但是使用MinGW而不是Microsoft环境。我的目标是编译器，因为我使用Dev-C作为IDE。

我第一次尝试使用Cygwin，但没有运气。第二次尝试是使用MSYS，这是一个运行与MinGW for Windows一起提供的unix命令的环境。请注意，CUDD使用了几个POSIX库（例如）。幸运的是，它们只用于两个辅助功能：CPU统计数据和一种我没有完全理解的分支。由于我不需要那些，我只是评论了代码的一部分（在util/cpu_stats.c）。

然后你只需要为MinGW编写一个Makefile来链接库！ 如果您需要，我可以将已编译的库发送给您。