How To Install alt-ergo-gui on Fedora 36
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/).