c - 有没有成熟的二元决策图工具可用？

Question

是否有任何用于 C 或其他经过测试并具有良好文档的语言的二进制决策图 (BDD) 库？

Answer 1

从 CMU检查BDD 库。

此外，出于基本参考目的，计算机编程艺术的前分册 1b 都是关于 BDD 的。这是它的压缩后记。Knuth 在他的 Programs to Read 页面上发布了一些他在准备时编写的程序。

Answer 2

查看CUDD。

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

Answer 3

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

Answer 4

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