slackbuilds/libraries/buddy
Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-17 21:55:09 +02:00
..
README
buddy.SlackBuild All: Support $PRINT_PACKAGE_NAME env var 2021-07-17 21:55:09 +02:00
buddy.info
slack-desc libraries/buddy: Fix slack-desc. 2016-11-14 16:47:23 +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.