How to Install and Uninstall python3-clingo Package on openSuSE Tumbleweed

Last updated: May 18,2024

1. Install "python3-clingo" package

Here is a brief guide to show you how to install python3-clingo on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                python3-clingo
            
                    
    
    Copied

2. Uninstall "python3-clingo" package

Learn how to uninstall python3-clingo on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                python3-clingo
            
                    
    
    Copied

3. Information about the python3-clingo package on openSuSE Tumbleweed

Information for package python3-clingo:
---------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : python3-clingo
Version : 5.6.2-2.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 559.0 KiB
Installed : No
Status : not installed
Source package : clingo-5.6.2-2.4.src
Upstream URL : https://potassco.org/clingo/
Summary : Python 3 bindings for Clingo
Description :
This module provides functions and classes to work with ground terms and to
control the instantiation process. In clingo builts, additional functions to
control and inspect the solving process are available.
Functions defined in a python script block are callable during the
instantiation process using @-syntax. The default grounding/solving process can
be customized if a main function is provided.
Detailed information (including a User's manual), source code, and pre-compiled
binaries are available at: http://potassco.org/