How to Install and Uninstall aspcud Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: November 26,2024

1. Install "aspcud" package

Please follow the instructions below to install aspcud on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                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 Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                aspcud
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the aspcud package on Ubuntu 20.10 (Groovy Gorilla)

Package: aspcud
Architecture: amd64
Version: 1:1.9.4-2build1
Priority: extra
Section: universe/admin
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ralf Treinen
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 490
Provides: cudf-solver
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4)
Filename: pool/universe/a/aspcud/aspcud_1.9.4-2build1_amd64.deb
Size: 134252
MD5sum: d087cc783e94f9d2ee8a90b2f42faa32
SHA1: a8c2b3a89dd42e0880ff6aa8305aa6053053346d
SHA256: b4a865b2bc8aba7a955ff1b0cf26cf82317c040f78d15f72724e4bffa74cd138
SHA512: 46add5668834b88c296c9953f5d9393b0fb3545b2eb76104bdab0fb5b96c310b5d5d4a486a8af7b8b0fd82be040216a483d901626ad7ce2ba919f6569cbbf1c3
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Description-en: CUDF solver based on Answer Set Programming
Aspcud is an experimental solver for package dependencies. A package
universe and a request to install, remove or upgrade packages have
to be encoded in the CUDF format.
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9