How To Install clingo on Fedora 34

clingo is A grounder and solver for logic programs A grounder and solver for logic programs

Introduction

In this tutorial we learn how to install clingo on Fedora 34.

What is clingo

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem. clingo 5.4.1 1.fc34 x86_64 1.5 M clingo-5.4.1-1.fc34.src.rpm fedora A grounder and solver for logic programs https MIT Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.

We can use yum or dnf to install clingo on Fedora 34. In this tutorial we discuss both methods but you only need to choose one of method to install clingo.

Install clingo on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install clingo using dnf by running the following command:

sudo dnf -y install clingo

Install clingo on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install clingo using yum by running the following command:

sudo yum -y install clingo

How To Uninstall clingo on Fedora 34

To uninstall only the clingo package we can use the following command:

sudo dnf remove clingo

clingo Package Contents on Fedora 34

/usr/bin/clasp
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/lpconvert
/usr/bin/reify
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/b93bf82ef39bcf09496340af2853d1d6838abb
/usr/lib/.build-id/06
/usr/lib/.build-id/06/91503fbbc1cae2589cac03a604e9095b85d18f
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/cb0a71e6fc0fc7c626c3eadbbb90761e12acac
/usr/lib/.build-id/97
/usr/lib/.build-id/97/90bed760ff4ddf0e6c4dc166f19a3bd130c99f
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/65583e5a3de61c948d2dddecfe2fcc14ef37ca
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/3ba648b344019c47427dc08bfbcf15d9a8e890
/usr/lib/libclingo.so.3
/usr/lib/libclingo.so.3.0
/usr/share/doc/clingo
/usr/share/doc/clingo/INSTALL.md
/usr/share/doc/clingo/README.md
/usr/share/licenses/clingo
/usr/share/licenses/clingo/LICENSE.md
/usr/bin/clasp
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/lpconvert
/usr/bin/reify
/usr/lib/.build-id
/usr/lib/.build-id/17
/usr/lib/.build-id/17/faca4809f7235e67bf62d8ad2f2226b1b1d74f
/usr/lib/.build-id/21
/usr/lib/.build-id/21/ccefcc0cc6c84bd13b1625ac568d379bd93ac9
/usr/lib/.build-id/27
/usr/lib/.build-id/27/570af82b8d0c15744ab5bce7458e56e5b99b70
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/1600d4a45904c9116016ead3c1fbc1b3398e97
/usr/lib/.build-id/77
/usr/lib/.build-id/77/5b23fcc1f363f7541ff015c5854b77fc051b3a
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/519bf9cf25397ad3c6e8acee06d78d9f65da15
/usr/lib64/libclingo.so.3
/usr/lib64/libclingo.so.3.0
/usr/share/doc/clingo
/usr/share/doc/clingo/INSTALL.md
/usr/share/doc/clingo/README.md
/usr/share/licenses/clingo
/usr/share/licenses/clingo/LICENSE.md

References

Summary

In this tutorial we learn how to install clingo on Fedora 34 using yum and dnf.