▁Dec ision ▁Di agram ( G DD ) ▁ ▁Av ailable ▁packages ▁▁ ▁C U DD : ▁A ▁B DD ▁package ▁written ▁in ▁C ▁that ▁implements ▁B DD s ▁and ▁Z B DD s , ▁University ▁of ▁Colorado , ▁B ould er ▁ ▁J DD , ▁A ▁java ▁library ▁that ▁implements ▁common ▁B DD ▁and ▁Z B DD ▁operations ▁ ▁Graph ill ion , ▁A ▁Z DD ▁software ▁implementation ▁based ▁on ▁Python ▁▁ ▁, ▁A ▁C WE B ▁Z DD ▁implementation ▁by ▁Donald ▁Kn uth . ▁ ▁References ▁▁▁ ▁Shin - ichi ▁Min ato , ▁" Zero - supp ress ed ▁B DD s ▁for ▁set ▁manip ulation ▁in ▁combin atorial ▁problems ", ▁D AC ▁' 9 3 : ▁Pro ceed ings ▁of ▁the ▁ 3 0 th ▁international ▁conference ▁on ▁Design ▁autom ation , ▁ 1 9 9 3 ▁ ▁Ch . ▁Me in el , ▁T . ▁The ob ald , ▁" Alg orithms ▁and ▁Data ▁Struct ures ▁in ▁V L SI - Des ign : ▁O B DD ▁– ▁Found ations ▁and ▁App lications ", ▁Springer - Verlag , ▁Berlin , ▁Heidel berg , ▁New ▁York , ▁ 1 9 9 8 . ▁Min ato , ▁Shin - ichi . ▁“ Zero - Supp ress ed ▁B DD s ▁and ▁Their ▁App lications .” ▁https :// e print s . lib . h ok ud ai . ac . jp / d space / bit stream / 2 1 1 5 / 1 6 8 9 5 / 1 /