Summary
CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
Versions
v3.0.0 :: 0/3.0.0 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~x86
Depending packages
sci-mathematics / yices2 : SMT Solver supporting SMT-LIB and Yices specification language
Bugs
- 912765
- sci-mathematics/cudd-3.0.0 - ! LaTeX Error: File pdftexcmds.sty not found.
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/cudd: new package; add 3.0.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>