How to Install and Uninstall aspcud Package on Linux Mint 21.3 (Virginia)

Last updated: May 15,2024

1. Install "aspcud" package

This tutorial shows how to install aspcud on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                aspcud
            
                    
    
    Copied

2. Uninstall "aspcud" package

This guide covers the steps necessary to uninstall aspcud on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                aspcud
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the aspcud package on Linux Mint 21.3 (Virginia)

Package: aspcud
Architecture: amd64
Version: 1:1.9.5-1ubuntu1
Priority: extra
Section: universe/admin
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ralf Treinen
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 370
Provides: cudf-solver
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.5-1ubuntu1_amd64.deb
Size: 122138
MD5sum: 153c0eb17b5592f2f3634f9b8a96a76d
SHA1: 564f184298920ed6aab7aaa5a62bed6c3b89bdc8
SHA256: d7206cb62f0817d5fe2f25cadcb8373fe0c832564ac90ea4ec73e6ef1410d075
SHA512: 0eabf3de4f299a9108535a1c32e39912dd52da92d42fd4751141baf3fbf50270a3c4cea60f8612c0a166edec1d8a8e83c37b77c405bf913a98255214d2afc03a
Homepage: https://potassco.org/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9