How to Install and Uninstall aspcud Package on Debian 11 (Bullseye)

Last updated: May 15,2024

1. Install "aspcud" package

Please follow the guidance below to install aspcud on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                aspcud
            
                    
    
    Copied

2. Uninstall "aspcud" package

Here is a brief guide to show you how to uninstall aspcud on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                aspcud
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the aspcud package on Debian 11 (Bullseye)

Package: aspcud
Version: 1:1.9.4-3
Installed-Size: 478
Maintainer: Ralf Treinen
Architecture: amd64
Provides: cudf-solver
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9
Homepage: https://potassco.org/aspcud/
Section: admin
Priority: optional
Filename: pool/main/a/aspcud/aspcud_1.9.4-3_amd64.deb
Size: 134364
MD5sum: 0fcc947e246db4837bd76025f75efb5c
SHA256: 845b6d89b7003fb40bdf1f2186748671edf19bc8e331ec72f98f865bf7c45363