用于Windows的二进制决策图库

Question

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

Answer 1

我最近在Windows / Visual Studio环境中安装了CUDD v2.4.2。

那里有文档，但在我看来，它没有提供如何安装该东西并使其在非Unix环境中工作的完整画面。例如，如何解决Makefile的问题，如何链接到项目中的* .a C存档文件，cpu_stats.c文件的小问题等等。这是一种耻辱，因为CUDD看起来非常强大减少许多问题的复杂性的方法，例如整数编程。

我最近设法在VS 2010中实现了它。我的博客详细信息here。

Answer 2

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

似乎存在预编译的二进制文件：http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

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

Answer 3

毕蒂变得越来越好.. http://biddy.meolic.com/

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