Tarafından Programlar javaddlib.sf.net

Bu proje iki farklı İkili Karar Diyagramları (BDD) kitaplıkları içerir: JBDD: iki popüler BDD kitaplıkları, CUDD ve BuDDy bir Java arabirimi. JDD: BDD, Z-BDD ve daha fazlasını destekleyen yerel bir Java kütüphanesi (grafik/ot