cudd

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

Es ist kein offizielles Paket für openSUSE Leap 16.0 verfügbar

Distributionen

openEuler 22.03

openEuler 24.03

openSUSE Tumbleweed

Offizielle Veröffentlichung Offiziell
3.0.0
Expert Download

science Versuchsweise
3.0.0
Expert Download

openSUSE Slowroll

openSUSE Leap 16.0

science Versuchsweise
3.0.0
Expert Download

openSUSE Leap 15.6

science Versuchsweise
3.0.0
Expert Download

openSUSE Leap 15.5

openSUSE Factory RISCV

SLFO 1.2

science Versuchsweise
3.0.0
Expert Download

openSUSE Backports for SLE 15 SP7

science Versuchsweise
3.0.0
Expert Download

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

Nicht unterstützte Distributionen

Die folgenden Distributionen werden offiziell nicht unterstützt. Benutzen Sie diese Pakete auf eigene Gefahr.