BDD'leri (İkili Karar Diyagramları) işlemek için Java kitaplığı. İkili karar diyagramları model kontrolünde, resmi doğrulamada, devre diyagramlarında optimize etmede vb. yaygın olarak kullanılır.
sürüm geçmişi
- Sürüm 0.6%20Win32%20binary tarihinde gönderildi 2005-05-09
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 0.6 Win32 binary tarihinde gönderildi 2005-05-09
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: javabdd.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 0.6
- Platform: linux