How to Install and Uninstall cudd-devel Package on openSuSE Tumbleweed
Last updated: December 25,2024
1. Install "cudd-devel" package
This tutorial shows how to install cudd-devel on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
cudd-devel
Copied
2. Uninstall "cudd-devel" package
Please follow the guidance below to uninstall cudd-devel on openSuSE Tumbleweed:
$
sudo zypper remove
cudd-devel
Copied
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.
-----------------------------------
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.