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

Er is geen officieel pakket voor openSUSE Leap 15.5 beschikbaar

Distributies

openEuler 21.03

openSUSE Tumbleweed

science Experimenteel
3.0.0

openSUSE Leap 15.6

science Experimenteel
3.0.0

openSUSE Leap 15.5

science Experimenteel
3.0.0

openSUSE Leap 15.4

openSUSE Factory RISCV

openSUSE Backports for SLE 15 SP1

SUSE SLE-15-SP2

science Experimenteel
3.0.0

SUSE SLE-15-SP1

Fedora Rawhide (unstable)

CentOS CentOS-8-Stream

CentOS CentOS-8

Mageia Cauldron (unstable)

Niet-ondersteunde distributies

Volgende distributies worden niet officieel ondersteund. Gebruik deze pakketten op eigen risico.