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

Last updated: May 17,2024

1. Install "clasp" package

This guide covers the steps necessary to install clasp on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                clasp
            
                    
    
    Copied

2. Uninstall "clasp" package

In this section, we are going to explain the necessary steps to uninstall clasp on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                clasp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: clasp
Priority: extra
Section: universe/interpreters
Installed-Size: 1180
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 3.1.4-1
Depends: libc6 (>= 2.17), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), libtbb2
Recommends: gringo
Filename: pool/universe/c/clasp/clasp_3.1.4-1_amd64.deb
Size: 450716
MD5sum: 2b133d27a540bbb68e824e1ada0242bd
SHA1: b85994bfd9d03c4036c8b54ad971332fa016a9eb
SHA256: e2857fcca4f49c0418ed8659a85c0c448c752c983c2b51d8edec1db0eb44755e
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
Homepage: http://www.cs.uni-potsdam.de/clasp/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu