{binary decision diagram package}

WWW: http://buddy.sourceforge.net/
