How to Install and Uninstall clingo Package on openSuSE Tumbleweed

Last updated: June 18,2024

1. Install "clingo" package

In this section, we are going to explain the necessary steps to install clingo on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                clingo
            
                    
    
    Copied

2. Uninstall "clingo" package

Please follow the guidance below to uninstall clingo on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                clingo
            
                    
    
    Copied

3. Information about the clingo package on openSuSE Tumbleweed

Information for package clingo:
-------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : clingo
Version : 5.6.2-2.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 2.8 MiB
Installed : No
Status : not installed
Source package : clingo-5.6.2-2.4.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.