1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/science/buddy/pkg-descr
2015-03-02 23:41:59 +00:00

7 lines
260 B
Plaintext

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