PACKAGE NAME:  buddy-2.4-x86_64-2salix15.0.txz
PACKAGE LOCATION:  ./salix/libraries
PACKAGE SIZE (compressed):  55 K
PACKAGE SIZE (uncompressed):  220 K
PACKAGE REQUIRED:  aaa_libraries|gcc,aaa_libraries|gcc-g++
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
buddy: buddy (Binary Decision Diagram library)
buddy:
buddy: A Binary Decision Diagram library, with:
buddy: - many highly efficient vectorized BDD operations,
buddy: - dynamic variable reordering,
buddy: - automated garbage collection,
buddy: - a C++ interface with automatic reference counting,
buddy: and much more.
buddy:
buddy: https://sourceforge.net/projects/buddy/
buddy: