How To Install gappa on Fedora 34
Introduction
In this tutorial we learn how to install gappa on Fedora 34.
What is gappa
Gappa is a tool intended to help verifying and formally prove properties on numerical programs and circuits handling floating-point or fixed-point arithmetic. This tool manipulates logical formulas stating the enclosures of expressions in some intervals. Through the use of rounding operators as part of the expressions, Gappa is specially designed to deal with formulas that could appear when certifying numerical codes. In particular, Gappa makes it simple to bound computational errors due to floating-point arithmetic. The tool and its documentation were written by Guillaume Melquiond.
We can use yum or dnf to install gappa on Fedora 34. In this tutorial we discuss both methods but you only need to choose one of method to install gappa.
Install gappa 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 gappa using dnf by running the following command:
sudo dnf -y install gappa
Install gappa 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 gappa using yum by running the following command:
sudo yum -y install gappa
How To Uninstall gappa on Fedora 34
To uninstall only the gappa package we can use the following command:
sudo dnf remove gappa
gappa Package Contents on Fedora 34
/usr/bin/gappa
/usr/lib/.build-id
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/94856217273ddc776e201e5ad9f3ff80221c56
/usr/share/doc/gappa
/usr/share/doc/gappa/AUTHORS
/usr/share/doc/gappa/NEWS.md
/usr/share/doc/gappa/README.md
/usr/share/doc/gappa/gappa.pdf
/usr/share/licenses/gappa
/usr/share/licenses/gappa/COPYING
/usr/share/licenses/gappa/COPYING.GPL
References
Summary
In this tutorial we learn how to install gappa on Fedora 34 using yum and dnf.
