Chương trình theo buddy.sf.net

Một thư viện Sơ đồ Quyết định Nhị phân, với:nhiều hoạt động BDD vector hóa hiệu quả cao,sắp xếp lại biến động,thu gom rác tự động,giao diện C++ với tính tham chiếu tự động,và nhiều hơn nữa.