A Binary Decision Diagram library, with :many highly efficient vectorized BDD operations,dynamic variable reordering,automated garbage collection,a C++ interface with automatic reference counting,and much more.
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| buddy-2.4.tar.gz | 766.5 KB | 2004-07-28 18:09:22 GMT | 7,615 | Release Notes | |
| All Files | Subscribe | ||||
| buddy | 1.2 MB | 2004-07-28 18:09:22 GMT | Subscribe Folder view | ||
| BuDDy 2.4 | 766.5 KB | 2004-07-28 18:09:22 GMT | Subscribe Folder view | ||
| buddy-2.4.tar.gz | 766.5 KB | 2004-07-28 18:09:22 GMT | 7,615 | Release Notes | |
| BuDDy 2.3 | 446.9 KB | 2004-06-25 11:58:32 GMT | Subscribe Folder view | ||
| buddy23.tar.gz | 446.9 KB | 2004-06-25 11:58:32 GMT | 311 | Release Notes | |
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use