How to Install and Uninstall clasp Package on Kali Linux

Last updated: May 18,2024

1. Install "clasp" package

This tutorial shows how to install clasp on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the clasp package on Kali Linux

Package: clasp
Version: 3.3.5-4.2
Installed-Size: 1719
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12)
Recommends: gringo
Size: 629252
SHA256: a199884c447fae7f281ed828f52ad08f480b5894562ce2a35bcc44ced51eabaf
SHA1: e9dd7ca27bc4ec81d498adfdd82affe5840d5c8a
MD5sum: 6e6ecaec37aba4758c1394d626706c5a
Description: conflict-driven nogood learning answer set solver
clasp is an answer set solver for (extended) normal logic
programs. It combines the high-level modeling capacities of answer
set programming (ASP) with state-of-the-art techniques from the area
of Boolean constraint solving. The primary clasp algorithm relies on
conflict-driven nogood learning, a technique that proved very
successful for satisfiability checking (SAT). Unlike other learning
ASP solvers, clasp does not rely on legacy software, such as a SAT
solver or any other existing ASP solver. Rather, clasp has been
genuinely developed for answer set solving based on conflict-driven
nogood learning. clasp can be applied as an ASP solver (on LPARSE
output format), as a SAT solver (on simplified DIMACS/CNF format), or
as a PB solver (on OPB format).
Description-md5:
Homepage: https://www.potassco.org/clasp/
Tag: implemented-in::c++, role::program
Section: interpreters
Priority: optional
Filename: pool/main/c/clasp/clasp_3.3.5-4.2_amd64.deb