How to Install and Uninstall python3-clingo Package on openSUSE Leap

Last updated: November 22,2024

1. Install "python3-clingo" package

This is a short guide on how to install python3-clingo on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                python3-clingo
            
                    
    
    Copied

2. Uninstall "python3-clingo" package

Please follow the steps below to uninstall python3-clingo on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                python3-clingo
            
                    
    
    Copied

3. Information about the python3-clingo package on openSUSE Leap

Information for package python3-clingo:
---------------------------------------
Repository : Update repository with updates from SUSE Linux Enterprise 15
Name : python3-clingo
Version : 5.5.0-150400.4.3.3
Arch : x86_64
Vendor : SUSE LLC
Installed Size : 515.0 KiB
Installed : No
Status : not installed
Source package : clingo-5.5.0-150400.4.3.3.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/