slackbuilds_ponce/libraries/buddy
..
buddy.info
buddy.SlackBuild
README
slack-desc

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.