Windows 的二元决策图库答案

【问题标题】：Binary Decision Diagram library for windowsWindows 的二元决策图库
【发布时间】：2015-05-11 00:11:19
【问题描述】：

在尝试在 windows 下编译 jinc 并快速遇到数百个编译器错误后，我正在寻找一个可以为 windows 构建的优质 BDD 库。最好用 C 或 C++，但只要我能绑定它我就很高兴。

【问题讨论】：

【解决方案1】：

我最近为在 Windows / Visual Studio 环境中安装 CUDD v2.4.2 而苦苦挣扎。

那里有文档，但在我看来，它们都没有完整地说明如何安装这个东西并让它在非 Unix 环境中工作。例如，如何解决 Makefile 的问题，如何链接到项目中的 *.a C 存档文件，cpu_stats.c 文件的小问题等。这很遗憾，因为 CUDD 似乎非常强大降低许多问题复杂性的方法，例如整数规划。

我最近设法在 VS 2010 中运行它。我的博客详情 here。

【讨论】：

【解决方案2】：

Cudd 很好：http://vlsi.colorado.edu/~fabio/CUDD/ 我已经在 Visual Studio 2005 中编译了它。

作为一名前研究员，我可以告诉你，两年前，Cudd 在效率方面是同类中最好的。

【讨论】：

【解决方案3】：

Biddy 越来越好..http://biddy.meolic.com/

好的，这是一个主观的说法，因为我是 Biddy 的主要作者。但是，虽然 Biddy 没有这么多的功能，但它并没有拥有如此强大和改进的内存管理，它还没有已经在 CUDD 等许多项目中进行了测试，它是一个可行的库。通过使用它，您可以帮助改进它。我的团队活跃而灵活我们可以实现您需要的任何功能。

【讨论】：