How to Install and Uninstall aspcud Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 18,2024

1. Install "aspcud" package

This tutorial shows how to install aspcud on Ubuntu 20.04 LTS (Focal Fossa)

$ sudo apt update $ sudo apt install aspcud

2. Uninstall "aspcud" package

Please follow the instructions below to uninstall aspcud on Ubuntu 20.04 LTS (Focal Fossa):

$ sudo apt remove aspcud $ sudo apt autoclean && sudo apt autoremove

3. Information about the aspcud package on Ubuntu 20.04 LTS (Focal Fossa)

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
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Description: CUDF solver based on Answer Set Programming
Description-md5: b7ea8294415a8e7e8313a56dfe596eb9