How to Install and Uninstall libcudd-3_0_0-0 Package on openSuSE Tumbleweed
Last updated: November 23,2024
1. Install "libcudd-3_0_0-0" package
Please follow the instructions below to install libcudd-3_0_0-0 on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
libcudd-3_0_0-0
Copied
2. Uninstall "libcudd-3_0_0-0" package
This guide covers the steps necessary to uninstall libcudd-3_0_0-0 on openSuSE Tumbleweed:
$
sudo zypper remove
libcudd-3_0_0-0
Copied
3. Information about the libcudd-3_0_0-0 package on openSuSE Tumbleweed
Information for package libcudd-3_0_0-0:
----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : libcudd-3_0_0-0
Version : 3.0.0-3.17
Arch : x86_64
Vendor : openSUSE
Installed Size : 515.5 KiB
Installed : No
Status : not installed
Source package : cudd-3.0.0-3.17.src
Upstream URL : http://vlsi.colorado.edu/~fabio/
Summary : Binary Decision Diagram manipulation library
Description :
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary
Decision Diagrams (ZDDs).
----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : libcudd-3_0_0-0
Version : 3.0.0-3.17
Arch : x86_64
Vendor : openSUSE
Installed Size : 515.5 KiB
Installed : No
Status : not installed
Source package : cudd-3.0.0-3.17.src
Upstream URL : http://vlsi.colorado.edu/~fabio/
Summary : Binary Decision Diagram manipulation library
Description :
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary
Decision Diagrams (ZDDs).