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
WWW: http://buddy.sourceforge.net/

- Leland Wang
llwang@infor.org

pkg-plist

include/bdd.h
include/bvec.h
include/fdd.h
lib/libbdd.a
lib/libbdd.la
lib/libbdd.so
lib/libbdd.so.0
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/bddnotes.ps
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/buddy.ps
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/tech.txt
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/README
%%PORTDOCS%%%%PORTDOCS%%%%DOCSDIR%%/AUTHORS
%%PORTDOCS%%@dirrm %%DOCSDIR%%