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