How to Install and Uninstall gringo Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: November 22,2024

1. Install "gringo" package

This guide covers the steps necessary to install gringo on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

This tutorial shows how to uninstall gringo on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Ubuntu 21.04 (Hirsute Hippo)

Package: gringo
Architecture: amd64
Version: 5.4.1-3ubuntu1
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 11190
Depends: libc6 (>= 2.30), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.2), libpython3.9 (>= 3.9.0~b4), libstdc++6 (>= 9)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1)
Replaces: clingo, iclingo
Filename: pool/universe/g/gringo/gringo_5.4.1-3ubuntu1_amd64.deb
Size: 1854828
MD5sum: b9c3da323028839d4e82f957df700a49
SHA1: a757c762f1e79b3510cffdd696a5aef654b8a762
SHA256: 9d53c74c9c2d10bba63ed7282eb7952b6b5844336786d42ed2dc20d453534e06
SHA512: 8b6c762dd788e212eda14f7dd3c87cb46163188182c0f89edaf15a5d0c200160d31f2c4cbe18f214f597a0c36772293e0243d2494d89b944542235d7d9b87df7
Homepage: https://www.potassco.org/clingo/
Description-en: grounding tools for (disjunctive) logic programs
Current answer set solvers work on variable-free programs. Hence, a
grounder is needed that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program.
.
This package contains the following tools:
.
- gringo: a grounder that, given an input program with first-order
variables, computes an equivalent ground (variable-free) program in
aspif format. Its output can be processed further with answer set
solver clasp. Starting with gringo series 5, its output is no longer
directly compatible with solvers like smodels or cmodels reading
smodels format. Use lpconvert for translating aspif format to
smodels format.
- clingo: combines both gringo and clasp into a monolithic system.
This way it offers more control over the grounding and solving
process than gringo and clasp can offer individually: multi-shot
solving.
- lpconvert: converter between gringo's aspif and smodels format.
- reify: small utility that reifies logic programs given in aspif
format. It produces a set of facts, which can be processed further
with gringo.
Description-md5: bd436af228b986e8da930746dfb6518b