减少有序二叉决策的图（ROBDD）1.0_Reduced Ordered Binary Decision Diagram (ROBDD) 1.0下载地址

BDD包，以帮助您的工作。

减少有序二叉决策的图（ROBDD）是一个方便的，基于Java的工具，旨在为用户提供一个BDD包。 BDD或二进制决策图被广泛用于在布尔逻辑最小化，技术制图，电路设计和优化。