How to Install and Uninstall libclingo4 Package on openSUSE Leap

Last updated: June 18,2024

1. Install "libclingo4" package

This is a short guide on how to install libclingo4 on openSUSE Leap

$ sudo zypper refresh $ sudo zypper install libclingo4

2. Uninstall "libclingo4" package

This tutorial shows how to uninstall libclingo4 on openSUSE Leap:

$ sudo zypper remove libclingo4

3. Information about the libclingo4 package on openSUSE Leap

Information for package libclingo4:
-----------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : libclingo4
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 3.9 MiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.src
Upstream URL : https://potassco.org/clingo/
Summary : Libraries file(s) for clingo
Description :
Clingo is part of the Potassco project for Answer Set Programming
(ASP). This package include clingo libraries.

5. The same packages on other Linux Distributions