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

Posted 2023-03-28

【中文标题】如何在窗口中成功运行 cudd 库

【英文标题】：How to successfully run cudd library in window

【发布时间】：2013-09-03 18:02:07

【问题描述】：

windows 中是否有可用的二元决策图 (BDD)。我尝试在 vc++6.0 中运行 cudd。 http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

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

【参考方案1】：

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

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

那么你只需要为 MinGW 写一个 Makefile 就可以链接库了！ 如果你需要，我可以把已经编译好的库发给你。