How to Install and Uninstall aspcud Package on Debian 10 (Buster)

Last updated: May 10,2024

1. Install "aspcud" package

This tutorial shows how to install aspcud on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                aspcud
            
                    
    
    Copied

2. Uninstall "aspcud" package

In this section, we are going to explain the necessary steps to uninstall aspcud on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                aspcud
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the aspcud package on Debian 10 (Buster)

Package: aspcud
Version: 1:1.9.4-2
Installed-Size: 504
Maintainer: Ralf Treinen
Architecture: amd64
Provides: cudf-solver
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Section: admin
Priority: optional
Filename: pool/main/a/aspcud/aspcud_1.9.4-2_amd64.deb
Size: 138636
MD5sum: 22296ca2961539aefe4b868f46a56fcc
SHA256: 2d65b8bf343c602658ed84bff25457a18dc2f35478f3fa334048e157ac3586fa