slackbuilds/libraries/buddy
Roberto Metere 5f92c72165 libraries/buddy: Added (Binary Decision Diagram library).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2016-11-03 07:06:28 +07:00
..
README libraries/buddy: Added (Binary Decision Diagram library). 2016-11-03 07:06:28 +07:00
buddy.SlackBuild libraries/buddy: Added (Binary Decision Diagram library). 2016-11-03 07:06:28 +07:00
buddy.info libraries/buddy: Added (Binary Decision Diagram library). 2016-11-03 07:06:28 +07:00
slack-desc libraries/buddy: Added (Binary Decision Diagram library). 2016-11-03 07:06:28 +07:00

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.