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

Last updated: May 16,2024

1. Install "clasp" package

This tutorial shows how to install clasp on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

Please follow the step by step instructions below to uninstall clasp on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: clasp
Architecture: amd64
Version: 3.3.5-1
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1791
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 6)
Recommends: gringo
Filename: pool/universe/c/clasp/clasp_3.3.5-1_amd64.deb
Size: 628224
MD5sum: 209317d7d3b46163402c4878c7d53f18
SHA1: 138ddc4cf91db4c2e0d4dd29e200434a66ff7c07
SHA256: e77b29f6cbdce41dd381db61fea5616d91b239c4d0e98e50ad8af653c02092f0
SHA512: 87efef09a3bd5a8bf8c0659bc7390ab7c73edbe680b81c6e987be2822ef6529c04f5166cc62e3cf2758f2eae9aba9368f5a0881a310cc750721bb8d7de950a76
Homepage: https://www.potassco.org/clasp/
Description-en: 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: 618ecb2971ab1f6d5fd7213f2985ff5b