How to Install and Uninstall clingo Package on openSUSE Leap
Last updated: December 24,2024
1. Install "clingo" package
Please follow the guidance below to install clingo on openSUSE Leap
$
sudo zypper refresh
Copied
$
sudo zypper install
clingo
Copied
2. Uninstall "clingo" package
In this section, we are going to explain the necessary steps to uninstall clingo on openSUSE Leap:
$
sudo zypper remove
clingo
Copied
3. Information about the clingo package on openSUSE Leap
Information for package clingo:
-------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : clingo
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 2.7 MiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.src
Upstream URL : https://potassco.org/clingo/
Summary : A grounder and solver for logic programs
Description :
Clingo is part of the Potassco project for Answer Set Programming
(ASP). ASP offers a simple and powerful modeling language to describe
combinatorial problems as logic programs. The clingo system then takes
such a logic program and computes answer sets representing solutions
to the given problem.
-------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : clingo
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 2.7 MiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.src
Upstream URL : https://potassco.org/clingo/
Summary : A grounder and solver for logic programs
Description :
Clingo is part of the Potassco project for Answer Set Programming
(ASP). ASP offers a simple and powerful modeling language to describe
combinatorial problems as logic programs. The clingo system then takes
such a logic program and computes answer sets representing solutions
to the given problem.