Perpustakaan Gambar Rajah Keputusan Perduaan, dengan : banyak operasi BDD vektor yang sangat cekap, pengorekan pembolehubah dinamik, kutipan sampah automatik, a Antara muka C++ dengan pengiraan rujukan automatik, dan banyak lagi.
sejarah versi
- Versi BuDDy%202.4 diposkan pada 2004-07-28
Beberapa pembaikan dan pengemaskinian - Versi BuDDy 2.4 diposkan pada 2004-07-28
Butiran Atur Cara
- Kategori: Pembangunan > Lain
- Penerbit: buddy.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: 2.4
- Platform: linux