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/otomat/Petri ağları/SAT)
sürüm geçmişi
- Sürüm JDD.jar-build103 tarihinde gönderildi 2009-03-10
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm JDD.jar-build103 tarihinde gönderildi 2009-03-10
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: javaddlib.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 103
- Platform: linux