by haimcohen
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.
vdpol created the fdd_allsat artifact
dirtyepic created the GCC 4.3 fixes artifact
Anonymous commented on the documentation build improvements artifact
jjames created the Minor autoconf updates artifact
haimcohen committed patchset 71 of module buddy to the buddy CVS repository, changing 3 files
haimcohen committed patchset 70 of module buddy to the buddy CVS repository, changing 2 files
haimcohen committed patchset 69 of module buddy to the buddy CVS repository, changing 1 files
nikos-g committed patchset 68 of module buddy to the buddy CVS repository, changing 3 files
nikos-g committed patchset 67 of module buddy to the buddy CVS repository, changing 1 files
nikos-g committed patchset 66 of module buddy to the buddy CVS repository, changing 1 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
