How to Install and Uninstall libcudd-3_0_0-0 Package on openSUSE Leap
Last updated: November 08,2024
1. Install "libcudd-3_0_0-0" package
Please follow the guidelines below to install libcudd-3_0_0-0 on openSUSE Leap
$
sudo zypper refresh
Copied
$
sudo zypper install
libcudd-3_0_0-0
Copied
2. Uninstall "libcudd-3_0_0-0" package
Here is a brief guide to show you how to uninstall libcudd-3_0_0-0 on openSUSE Leap:
$
sudo zypper remove
libcudd-3_0_0-0
Copied
3. Information about the libcudd-3_0_0-0 package on openSUSE Leap
Information for package libcudd-3_0_0-0:
----------------------------------------
Repository : Main Repository
Name : libcudd-3_0_0-0
Version : 3.0.0-bp155.3.10
Arch : x86_64
Vendor : openSUSE
Installed Size : 507.4 KiB
Installed : No
Status : not installed
Source package : cudd-3.0.0-bp155.3.10.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 : Main Repository
Name : libcudd-3_0_0-0
Version : 3.0.0-bp155.3.10
Arch : x86_64
Vendor : openSUSE
Installed Size : 507.4 KiB
Installed : No
Status : not installed
Source package : cudd-3.0.0-bp155.3.10.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).