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 15.4

Distributions

openSUSE Tumbleweed

science Experimental
3.0.0

openSUSE Leap 15.4

science Experimental
3.0.0

openSUSE Leap 15.3

openSUSE Leap 15.2

openSUSE Factory RISCV

openSUSE Backports for SLE 15 SP1

SUSE SLE-15-SP2

science Experimental
3.0.0

SUSE SLE-15-SP1

science Experimental
3.0.0

Fedora Rawhide (unstable)

Fedora 33

Fedora 32

CentOS CentOS-8-Stream

CentOS CentOS-8

Mageia Cauldron (unstable)

Unsupported distributions

The following distributions are not officially supported. Use these packages at your own risk.