FreeBSD.software

buddy

2.4_2

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.

Origin: science/buddy
Category: science
Size: 1.63MiB
License: not specified
Maintainer: ports@FreeBSD.org
Dependencies: 0 packages
Required by: 2 packages
$pkg install buddy

Required By (2 packages)

More in science