How to Install and Uninstall clasp Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 04,2024

1. Install "clasp" package

This is a short guide on how to install clasp on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

This tutorial shows how to uninstall clasp on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the clasp package on Ubuntu 21.04 (Hirsute Hippo)

Package: clasp
Architecture: amd64
Version: 3.3.5-4
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1751
Depends: libc6 (>= 2.30), libgcc-s1 (>= 3.0), libstdc++6 (>= 6)
Recommends: gringo
Filename: pool/universe/c/clasp/clasp_3.3.5-4_amd64.deb
Size: 617516
MD5sum: 3c012080d9159368897c4ba75cbac901
SHA1: 77a99d0d610b77ea4b533cb0237cf33c3fb71820
SHA256: 8a7d1db9d6a85fd54e0679bdac7c8c127114b3f76a3d05c789857871d638fd77
SHA512: 56ca1440e4852b69dfda856b2aa7b233714d705ba4f055c68500d0b0c86637db11fd89eed4d1233544871e0f1af7405e7d0900e37eeb2c9c8acbf1a88c399908
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