İkili Karar Diyagramı kitaplığı: birçok yüksek verimli vektörel BDD işlemleri, dinamik değişken yeniden sıralama, otomatik çöp toplama, otomatik referans sayma ile c++ arabirimi, ve çok daha fazlası.
sürüm geçmişi
- Sürüm BuDDy%202.4 tarihinde gönderildi 2004-07-28
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm BuDDy 2.4 tarihinde gönderildi 2004-07-28
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: buddy.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 2.4
- Platform: linux