在计算机科学中，二元决策图（），或译为二元判定图，是被用来表达一个布尔函数的一种数据结构。
外部链接.Available OBDD Packages