cudd from openSUSE:Backports:SLE-15-SP6 project

Выберите операционную систему

Для step запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/openSUSE:Backports:SLE-15-SP6/step/openSUSE:Backports:SLE-15-SP6.repo
zypper refresh
zypper install cudd
Для standard запустите от имени root:
zypper addrepo https://download.opensuse.org/repositories/openSUSE:Backports:SLE-15-SP6/standard/openSUSE:Backports:SLE-15-SP6.repo
zypper refresh
zypper install cudd

Пакеты для step:

Пакеты для standard: