Java Decision Diagram Libraries 103
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 4.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda Java Decision Diagram Libraries
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)