是否有可用的成熟二元决策图工具？

Question

是否有针对C或其他测试且具有良好文档的语言的二进制决策图（BDD）库？

Answer 1

检查BDD library from CMU。

此外，出于基本参考目的，“计算机编程艺术”的预分册1b都是关于BDD的。这是gzipped postscript。 Knuth在his Programs to Read page上准备了一些他编写的程序。

Answer 2

二进制决策图维基百科条目，在External links部分，作为一个非常完整的软件包列表。

Answer 3

结帐CUDD。

有关如何在Windows环境中进行设置的一些信息，请尝试this..

Answer 4

BDDBDDB是一个基于BDD的系统，用于解决Prolog的逻辑推理。它已被用于程序分析，一般游戏和许多其他领域。它可能不是您正在寻找的，但它是众所周知的，维护得很好。