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

Homepage:
https://sourceforge.net/projects/buddy/

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

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

(the SlackBuild does not include the source)

Individual Files:

• README

• buddy.SlackBuild

• buddy.info

• slack-desc

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