SlackBuilds Repository

15.0 > Libraries > buddy (2.4)

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.

Maintained by: Roberto Metere
Keywords: buddy,bdd
ChangeLog: buddy


Source Downloads:
buddy-2.4.tar.gz (3b59cb073bcb3f26efdb851d617ef2ed)

Download SlackBuild:
buddy.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:

Validated for Slackware 15.0

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync

© 2006-2023 Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds