Tarafından Programlar buddy.sf.net

İ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ı.