Binary Decision Diagram library
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.
$
pkg install buddyOrigin
science/buddy
Size
1.63MiB
License
not specified
Maintainer
ports@FreeBSD.org
Dependencies
0 packages
Required by
2 packages