BuDDy

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.

homepage: http://buddy.sourceforge.net/

version	toolchain
2.4	GCCcore/10.2.0

(quick links: (all) - 0 - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z)