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