a60bdc7b9d
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |
||
---|---|---|
.. | ||
README | ||
buddy.SlackBuild | ||
buddy.info | ||
slack-desc |
README
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.