LightBDD:Java中的简单二进制决策图库

LightBDD：Java中的二进制决策图 LightBDD是用于构建和组合精简二进制决策图的准系统库，精简二进制决策图是用于存储大型布尔函数的真值表的内存有效数据结构。 看看看看它是如何工作的。 BDD BDD广泛用于逻辑电路设计软件，并选择计算机科学问题。 它们可以看作是有向（DAWG）的二进制模拟，它使用相同的基于图的机制来减少例如拼写字典的内存占用。 有关BDD的更多信息，请参见Henrik Reif Anderson出色的 特征 LightBDD的目标是易于执行基本任务，并且在效率或完整性方面不与行业实力强的BDD库竞争。 它具有以下功能： 从布尔函数构建BDD 应用，限制和撰写操作（请参阅） 通过自动生成dot代码以进行图形可视化 多输出布尔函数支持（MultiBDD类）