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.
lịch sử phiên bản
- Phiên bản BuDDy%202.4 đăng trên 2004-07-28
Một số bản sửa lỗi và cập nhật - Phiên bản BuDDy 2.4 đăng trên 2004-07-28
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: buddy.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 2.4
- Nền tảng: linux