Atur cara mengikut buddy.sf.net

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 ban