How To Install alt-ergo-gui on Fedora 36

In this tutorial we learn how to install alt-ergo-gui in Fedora 36. alt-ergo-gui is Graphical front end for Alt-Ergo

Introduction

In this tutorial we learn how to install alt-ergo-gui on Fedora 36.

What is alt-ergo-gui

Alt-Ergo is an automated theorem prover implemented in OCaml. It is based on CC(X) - a congruence closure algorithm parameterized by an equational theory X. This algorithm is reminiscent of the Shostak algorithm. Currently CC(X) is instantiated by the theory of linear arithmetics. Alt-Ergo also contains a home made SAT-solver and an instantiation mechanism by which it fully supports quantifiers. This package contains a graphical front end for the Alt-Ergo theorem prover.

We can use yum or dnf to install alt-ergo-gui on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install alt-ergo-gui.

Install alt-ergo-gui on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install alt-ergo-gui using dnf by running the following command:

sudo dnf -y install alt-ergo-gui

Install alt-ergo-gui on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install alt-ergo-gui using yum by running the following command:

sudo yum -y install alt-ergo-gui

How To Uninstall alt-ergo-gui on Fedora 36

To uninstall only the alt-ergo-gui package we can use the following command:

sudo dnf remove alt-ergo-gui

alt-ergo-gui Package Contents on Fedora 36

/usr/bin/altgr-ergo
/usr/lib/.build-id
/usr/lib/.build-id/37
/usr/lib/.build-id/37/f32c9c2b0164010c2d438c04e571abace4712d
/usr/lib64/ocaml/altgr-ergo
/usr/lib64/ocaml/altgr-ergo/META
/usr/lib64/ocaml/altgr-ergo/dune-package
/usr/lib64/ocaml/altgr-ergo/opam
/usr/share/applications/com.ocamlpro.alt-ergo.desktop
/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang
/usr/share/icons/hicolor/128x128/apps/alt-ergo.png
/usr/share/icons/hicolor/16x16/apps/alt-ergo.png
/usr/share/icons/hicolor/22x22/apps/alt-ergo.png
/usr/share/icons/hicolor/24x24/apps/alt-ergo.png
/usr/share/icons/hicolor/256x256/apps/alt-ergo.png
/usr/share/icons/hicolor/32x32/apps/alt-ergo.png
/usr/share/icons/hicolor/48x48/apps/alt-ergo.png
/usr/share/icons/hicolor/64x64/apps/alt-ergo.png
/usr/share/icons/hicolor/96x96/apps/alt-ergo.png
/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml

References

Summary

In this tutorial we learn how to install alt-ergo-gui on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).