How to Install and Uninstall python3-clingo.x86_64 Package on Fedora 36

Last updated: July 01,2024

1. Install "python3-clingo.x86_64" package

Please follow the step by step instructions below to install python3-clingo.x86_64 on Fedora 36


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                python3-clingo.x86_64
            
                    
    
    Copied

2. Uninstall "python3-clingo.x86_64" package

Please follow the guidelines below to uninstall python3-clingo.x86_64 on Fedora 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                python3-clingo.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the python3-clingo.x86_64 package on Fedora 36

Last metadata expiration check: 2:20:58 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : python3-clingo
Version : 5.5.2
Release : 1.fc36
Architecture : x86_64
Size : 159 k
Source : clingo-5.5.2-1.fc36.src.rpm
Repository : updates
Summary : Python 3 bindings for Clingo
URL : https://potassco.org/clingo/
License : MIT
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/