在尝试在 windows 下编译jinc并快速遇到数百个编译器错误后，我正在寻找一个可以为 windows 构建的高质量 BDD 库。最好在 C 或 C++ 中，但只要我能绑定到它我很高兴。
问问题
1454 次
3 回答
5
我最近努力在 Windows / Visual Studio 环境中安装 CUDD v2.4.2。
那里有文档，但在我看来，它们都没有完整地说明如何安装这个东西并让它在非 Unix 环境中工作。例如，如何解决 Makefile 的问题，如何链接到项目中的 *.a C 存档文件，cpu_stats.c 文件的小问题等。这很遗憾，因为 CUDD 似乎非常强大降低许多问题复杂性的方法，例如整数规划。
我最近设法让它在 VS 2010 中运行。我的博客详细信息在这里。
于 2011-08-24T10:42:00.263 回答
1
Cudd 很好： http: //vlsi.colorado.edu/~fabio/CUDD/我已经在 Visual Studio 2005 中编译了它。
似乎存在预编译的二进制文件：http ://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm
作为一名前研究员，我可以告诉你，两年前，Cudd 在效率方面是同类中最好的。
于 2010-09-14T14:21:29.087 回答
1
比迪越来越好.. http://biddy.meolic.com/
好的，这是一个主观的主张，因为我是 Biddy 的主要作者。然而，虽然 Biddy 没有那么多功能，也没有那么健壮和改进的内存管理，而且它还没有在像 CUDD 这么多的项目中经过测试，但它是一个可行的库。通过使用它，您可以帮助改进它。我的团队活跃而灵活，我们可以实现您需要的任何功能。
于 2015-05-10T16:11:19.127 回答