cudd
Manipulation of Binary Decision Diagrams
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
There is no official package available for openSUSE Leap 16.0التوزيعات
openEuler 22.03
openEuler 24.03
openSUSE Tumbleweed
openSUSE Slowroll
openSUSE Leap 16.0
openSUSE Leap 15.6
openSUSE Leap 15.5
openSUSE Factory RISCV
SLFO 1.2
openSUSE Backports for SLE 15 SP7
openSUSE Backports for SLE 15 SP4
SUSE SLE-15-SP1
Fedora Rawhide (unstable)
Fedora 42
Fedora 41
CentOS CentOS-8-Stream
CentOS CentOS-8
Mageia Cauldron (unstable)
Mageia 9
توزيعات غير مدعومة
التوزيعات التالية غير معتمدة رسميًا. استخدم هذه الحزم على مسؤوليتك الخاصة.