How to Install and Uninstall gringo Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 26,2024

1. Install "gringo" package

This is a short guide on how to install gringo on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

This guide let you learn how to uninstall gringo on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Ubuntu 20.10 (Groovy Gorilla)

Package: gringo
Architecture: amd64
Version: 5.4.0-2ubuntu1
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 11205
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), liblua5.3-0, libpython3.8 (>= 3.8.2), 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.0-2ubuntu1_amd64.deb
Size: 1858224
MD5sum: 84fd87d02ed144d1ddff53f5286c9d46
SHA1: 19c6a2250b1abcb2ff830bd38c3645a3b8f6e170
SHA256: 6ca67755075e88663e5d7408a86a8f73ff97c1bf237f1a8b74f9b2e247a34ba0
SHA512: 0835dcde7e43fc344a735a860bc75b96d8506b2fe86ba7ef87675d9e95afc609d4b0d135cf701844db97fa0aa0c20da7b12aa6f1672c215be6e0b3cb2ff107d5
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