path: root/science/buddy/pkg-descr

BuDDY is 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.

Author: Jorn Lind-Nielsen - Original Developer
    Haim Cohen <haimcohen@users.sourceforge.net>
WWW:    http://buddy.sourceforge.net/

- Leland Wang
llwang@infor.org