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).
Для openSUSE Leap 15.5 відсутній офіційний пакунокДистрибутиви
openEuler 21.03
openSUSE Tumbleweed
openSUSE Leap 15.6
openSUSE Leap 15.5
openSUSE Leap 15.4
openSUSE Factory RISCV
openSUSE Backports for SLE 15 SP1
SUSE SLE-15-SP2
SUSE SLE-15-SP1
Fedora Rawhide (unstable)
CentOS CentOS-8-Stream
CentOS CentOS-8
Mageia Cauldron (unstable)
Непідтримувані дистрибутиви
Наступні дистрибутиви офіційно не підтримуються. Використовуйте ці пакунки на власний ризик.