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: