Program menurut buddy.sf.net

Pustaka Diagram Keputusan Biner, dengan :banyak operasi BDD vektorisasi yang sangat efisien,penyusunan ulang variabel dinamis,pengumpulan sampah otomatis,antarmuka C++ dengan penghitungan referensi otomatis,dan bany