CUDD (Colorado University Decision Diagram) is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 3.0.0-bp156.4.4 info | GA Release | 2023-12-07 | 15 SP6 |
|
|
| 3.0.0-bp155.3.10 info | GA Release | 2023-05-17 | 15 SP5 |
|
|
| 3.0.0-bp154.2.19 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 3.0.0-bp153.1.16 info | GA Release | 2021-03-06 | 15 SP3 |
|
|
| 3.0.0-bp152.3.14 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
| 3.0.0-bp151.3.1 info | GA Release | 2019-07-17 | 15 SP1 |
|
|
| 3.0.0-bp151.2.15 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
| 3.0.0-bp150.2.3 info | GA Release | 2018-07-30 | 15 |
|
|