sci-mathematics / cudd

Colorado University binary Decision Diagram library

Official package sites : https://davidkebo.com/cudd/ ·

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).

v3.0.0 :: 0/3.0.0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86

sci-mathematics / yices2 : SMT Solver supporting SMT-LIB and Yices specification language

912765
sci-mathematics/cudd-3.0.0 - ! LaTeX Error: File pdftexcmds.sty not found.
926371
sci-mathematics/cudd-3.0.0 fails tests: FAIL: test_cudd.test 2 cudd extra
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>