blob: 7c306e39c4a1bfb6c2abedb3c13b8ce8d8267335 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
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
|
