How To Install gappa on Fedora 36
Introduction
In this tutorial we learn how to install gappa on Fedora 36.
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 36. In this tutorial we discuss both methods but you only need to choose one of method to install gappa.
Install gappa 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 gappa using dnf by running the following command:
sudo dnf -y install gappa
Install gappa 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 gappa using yum by running the following command:
sudo yum -y install gappa
How To Uninstall gappa on Fedora 36
To uninstall only the gappa package we can use the following command:
sudo dnf remove gappa
gappa Package Contents on Fedora 36
/usr/bin/gappa
/usr/lib/.build-id
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/d60d4c846d581bf99a2b7d4702c4ff3f8915da
/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/html
/usr/share/doc/gappa/html/_images
/usr/share/doc/gappa/html/_images/gwhy-sqrt.png
/usr/share/doc/gappa/html/_sources
/usr/share/doc/gappa/html/_sources/arithmetic.rst.txt
/usr/share/doc/gappa/html/_sources/bibliography.rst.txt
/usr/share/doc/gappa/html/_sources/customizing.rst.txt
/usr/share/doc/gappa/html/_sources/errors.rst.txt
/usr/share/doc/gappa/html/_sources/examples.rst.txt
/usr/share/doc/gappa/html/_sources/formalizing.rst.txt
/usr/share/doc/gappa/html/_sources/generated
/usr/share/doc/gappa/html/_sources/generated/news.rst.txt
/usr/share/doc/gappa/html/_sources/genindex.rst.txt
/usr/share/doc/gappa/html/_sources/index.rst.txt
/usr/share/doc/gappa/html/_sources/invoking.rst.txt
/usr/share/doc/gappa/html/_sources/language.rst.txt
/usr/share/doc/gappa/html/_sources/theorems.rst.txt
/usr/share/doc/gappa/html/_sources/tools.rst.txt
/usr/share/doc/gappa/html/_static
/usr/share/doc/gappa/html/_static/alabaster.css
/usr/share/doc/gappa/html/_static/basic.css
/usr/share/doc/gappa/html/_static/custom.css
/usr/share/doc/gappa/html/_static/doctools.js
/usr/share/doc/gappa/html/_static/documentation_options.js
/usr/share/doc/gappa/html/_static/file.png
/usr/share/doc/gappa/html/_static/jquery-3.5.1.js
/usr/share/doc/gappa/html/_static/jquery.js
/usr/share/doc/gappa/html/_static/language_data.js
/usr/share/doc/gappa/html/_static/minus.png
/usr/share/doc/gappa/html/_static/plus.png
/usr/share/doc/gappa/html/_static/pygments.css
/usr/share/doc/gappa/html/_static/searchtools.js
/usr/share/doc/gappa/html/_static/underscore-1.13.1.js
/usr/share/doc/gappa/html/_static/underscore.js
/usr/share/doc/gappa/html/arithmetic.html
/usr/share/doc/gappa/html/bibliography.html
/usr/share/doc/gappa/html/customizing.html
/usr/share/doc/gappa/html/errors.html
/usr/share/doc/gappa/html/examples.html
/usr/share/doc/gappa/html/formalizing.html
/usr/share/doc/gappa/html/generated
/usr/share/doc/gappa/html/generated/news.html
/usr/share/doc/gappa/html/genindex.html
/usr/share/doc/gappa/html/index.html
/usr/share/doc/gappa/html/invoking.html
/usr/share/doc/gappa/html/language.html
/usr/share/doc/gappa/html/objects.inv
/usr/share/doc/gappa/html/search.html
/usr/share/doc/gappa/html/searchindex.js
/usr/share/doc/gappa/html/theorems.html
/usr/share/doc/gappa/html/tools.html
/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 36 using yum and [dnf]((/fedora/36/dnf/).