How to Install and Uninstall cudd-devel Package on openSuSE Tumbleweed

Last updated: July 05,2024

1. Install "cudd-devel" package

This tutorial shows how to install cudd-devel on openSuSE Tumbleweed

$ sudo zypper refresh $ sudo zypper install cudd-devel

2. Uninstall "cudd-devel" package

Please follow the guidance below to uninstall cudd-devel on openSuSE Tumbleweed:

$ sudo zypper remove cudd-devel

3. Information about the cudd-devel package on openSuSE Tumbleweed

Information for package cudd-devel:
-----------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : cudd-devel
Version : 3.0.0-3.17
Arch : x86_64
Vendor : openSUSE
Installed Size : 46.8 KiB
Installed : No
Status : not installed
Source package : cudd-3.0.0-3.17.src
Upstream URL : http://vlsi.colorado.edu/~fabio/
Summary : Development files for CUDD, a package for Binary Decision Diagram manipulation
Description :
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary
Decision Diagrams (ZDDs).
This subpackage contains the include files and library links for
developing against cudd's libraries.

5. The same packages on other Linux Distributions