CUDD¶
The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
homepage: https://github.com/ivmai/cudd
| version | toolchain |
|---|---|
3.0.0 |
GCC/11.3.0 |
3.0.0 |
GCC/13.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)