How to Install and Uninstall libcudd-3_0_0-0 Package on openSUSE Leap

Last updated: May 18,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 $ sudo zypper install libcudd-3_0_0-0

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

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).