How to Install and Uninstall gringo Package on Kali Linux

Last updated: November 22,2024

1. Install "gringo" package

Learn how to install gringo on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gringo
            
                    
    
    Copied

2. Uninstall "gringo" package

This guide let you learn how to uninstall gringo on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gringo
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gringo package on Kali Linux

Package: gringo
Version: 5.6.2-1
Installed-Size: 16249
Maintainer: Debian Science Maintainers
Architecture: amd64
Replaces: clingo, iclingo
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), liblua5.4-0 (>= 5.4.6), libpython3.11 (>= 3.11.5), libstdc++6 (>= 13.1), python3 (<< 3.12), python3 (>= 3.11~), python3:any, python3-cffi
Recommends: clasp
Conflicts: clingo, iclingo
Size: 1976124
SHA256: 3ddf2b89ee820f0ad267fcc74f775fc7598f6fa114e8c990e6b01995fa98c8bf
SHA1: 66ef4421f694e900213e4a18ddb372b3757935a4
MD5sum: fd0b4233c004da52ff01289366095c38
Description: 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:
Homepage: https://www.potassco.org/clingo/
Tag: role::program
Section: interpreters
Priority: optional
Filename: pool/main/g/gringo/gringo_5.6.2-1_amd64.deb