How to Install and Uninstall gringo Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 06,2024

1. Install "gringo" package

This is a short guide on how to install gringo on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

Please follow the steps below to uninstall gringo on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: gringo
Priority: optional
Section: universe/interpreters
Installed-Size: 5805
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 4.5.4-1
Replaces: clingo, iclingo
Depends: libc6 (>= 2.17), libgcc1 (>= 1:3.0), liblua5.2-0, libpython2.7 (>= 2.7), libstdc++6 (>= 5.2), libtbb2
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2)
Filename: pool/universe/g/gringo/gringo_4.5.4-1_amd64.deb
Size: 1833466
MD5sum: 07a4844ea50dc7326c7e6fe80c8cbdae
SHA1: 74d3a5d702defff2f0971f3adb18499dd45748f3
SHA256: f91c6a18b9a885d5614d37c12c35b2d6dd40b03ee9cd4ee09ab8422b7cdfdf2f
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: creates lparse-compatible variable-free programs.
- clingo: stands for clasp on gringo and combines both systems in
a monolithic way. Its input language is that of gringo and its
output corresponds to that of clasp.
- reify: small utility that reifies logic program, given in smodels
format. It produces a set of facts that can be processed further
with gringo.
Description-md5: aa717b81ab155e373c8917d25d6096b6
Homepage: http://potassco.sourceforge.net/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu