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

Tidak ada paket resmi yang tersedia untuk openSUSE Leap 16.0

Distribusi

openEuler 22.03

openEuler 24.03

openSUSE Tumbleweed

science Eksperimental
3.0.0

openSUSE Slowroll

openSUSE Leap 16.0

science Eksperimental
3.0.0

openSUSE Leap 15.6

science Eksperimental
3.0.0

openSUSE Leap 15.5

openSUSE Factory RISCV

SLFO 1.2

science Eksperimental
3.0.0

openSUSE Backports for SLE 15 SP7

science Eksperimental
3.0.0

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

Distribusi yang tak didukung

Distribusi berikut ini tidak didukung secara resmi. Gunakan paket ini dengan risiko Anda sendiri.