Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/libraries/buddy/

Current bandwidth utilization 88.85 Mbit/s

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.

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 README                                    14-Jun-2018 16:01  227   
 buddy.SlackBuild                          11-Mar-2022 06:34  3.2K  
 buddy.info                                14-Jun-2018 16:01  315   
 slack-desc                                14-Jun-2018 16:01  866   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!