How to Install and Uninstall aspcud Package on Debian 12 (Bookworm)

Last updated: January 11,2025

You can also install and uninstall the aspcud on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "aspcud" package

This tutorial shows how to install aspcud on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                aspcud
            
                    
    
    Copied

2. Uninstall "aspcud" package

Please follow the instructions below to uninstall aspcud on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                aspcud
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the aspcud package on Debian 12 (Bookworm)

Package: aspcud
Version: 1:1.9.6-2
Installed-Size: 430
Maintainer: Ralf Treinen
Architecture: amd64
Provides: cudf-solver
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), 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.6-2_amd64.deb
Size: 126236
MD5sum: b6a6dc31b1ca263efab94a61651b2343
SHA256: a1cfb18ee53abd3b138b9fc0296097fb616821e85e6e579691123917ef5da2be