windows中是否有任何二进制决策图（BDD）可用。我试图在vc++6.0中运行cudd ..提到链接 http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts .htm
但它不能正常工作。运行示例代码时出现编译器错误
问问题
436 次
1 回答
0
我为 Windows 编译了 CUDD，但使用 MinGW 而不是 Microsoft 环境。我的目标是那个编译器，因为我使用 Dev-C 作为 IDE。
我第一次尝试使用 Cygwin，但没有运气。第二次尝试是使用 MSYS，这是一个运行 MinGW for Windows 附带的 unix 命令的环境。请注意，CUDD 使用了几个 POSIX 库（例如 ）。幸运的是，它们仅用于两个次要功能：CPU 统计信息和一种我不完全理解的 fork。由于我不需要这些，我只是简单地注释了代码部分（在 中util/cpu_stats.c）。
那么你只需要为MinGW编写一个Makefile即可链接库！如果你需要，我可以把已经编译好的库发给你。
于 2013-09-04T07:44:58.580 回答