How to Install and Uninstall gringo Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 22,2024

1. Install "gringo" package

Please follow the step by step instructions below to install gringo on Ubuntu 18.04 LTS (Bionic Beaver)

$ sudo apt update $ sudo apt install gringo

2. Uninstall "gringo" package

This guide covers the steps necessary to uninstall gringo on Ubuntu 18.04 LTS (Bionic Beaver):

$ sudo apt remove gringo $ sudo apt autoclean && sudo apt autoremove

3. Information about the gringo package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: gringo
Architecture: amd64
Version: 5.2.2-5
Priority: optional
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6712
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), liblua5.3-0, libpython3.6 (>= 3.6.4~rc1), libstdc++6 (>= 7)
Recommends: clasp
Conflicts: clingo, iclingo
Breaks: aspcud (<= 1.9.0-2), clasp (<< 3.2.1-1)
Replaces: clingo, iclingo
Filename: pool/universe/g/gringo/gringo_5.2.2-5_amd64.deb
Size: 2184928
MD5sum: 51a375b61c0d7099ad8734fd76389827
SHA1: 55c7fb07eb13af93e89389a12836cfaffb486b73
SHA256: 175ccb2da6f8a6abe1acfc314eafa1655503b2fa91728885cc0bcee64db417d5
Homepage: https://www.potassco.org/clingo/
Description: grounding tools for (disjunctive) logic programs
Description-md5: bd436af228b986e8da930746dfb6518b