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

home:dilawar المجتمع
3.0.0

openEuler 24.03

home:dilawar المجتمع
3.0.0

openSUSE Tumbleweed

science تجريبي
3.0.0
home:dilawar المجتمع
3.0.0

openSUSE Slowroll

home:dilawar المجتمع
3.0.0

openSUSE Leap 16.0

science تجريبي
3.0.0

openSUSE Leap 15.6

science تجريبي
3.0.0
home:dilawar المجتمع
3.0.0
home:redwil:15.6 المجتمع
3.0.0

openSUSE Leap 15.5

home:dilawar المجتمع
3.0.0

openSUSE Factory RISCV

home:dilawar المجتمع
3.0.0

SLFO 1.2

science تجريبي
3.0.0

openSUSE Backports for SLE 15 SP7

science تجريبي
3.0.0

openSUSE Backports for SLE 15 SP4

home:redwil:15.4 المجتمع
3.0.0

SUSE SLE-15-SP1

Fedora Rawhide (unstable)

home:dilawar المجتمع
3.0.0

Fedora 42

home:dilawar المجتمع
3.0.0

Fedora 41

home:dilawar المجتمع
3.0.0

CentOS CentOS-8-Stream

home:dilawar المجتمع
3.0.0

CentOS CentOS-8

home:dilawar المجتمع
3.0.0

Mageia Cauldron (unstable)

home:dilawar المجتمع
3.0.0

Mageia 9

home:dilawar المجتمع
3.0.0

توزيعات غير مدعومة

التوزيعات التالية غير معتمدة رسميًا. استخدم هذه الحزم على مسؤوليتك الخاصة.