How To Install mona-examples on Fedora 36
Introduction
In this tutorial we learn how to install mona-examples on Fedora 36.
What is mona-examples
Example Mona source files, for use with the mona executable, and also sample C programs that access the Mona library interfaces.
We can use yum or dnf to install mona-examples on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install mona-examples.
Install mona-examples 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 mona-examples using dnf by running the following command:
sudo dnf -y install mona-examples
Install mona-examples 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 mona-examples using yum by running the following command:
sudo yum -y install mona-examples
How To Uninstall mona-examples on Fedora 36
To uninstall only the mona-examples package we can use the following command:
sudo dnf remove mona-examples
mona-examples Package Contents on Fedora 36
/usr/bin/bdd_example
/usr/bin/gta_example
/usr/bin/presburger_analysis
/usr/bin/presburger_transduction
/usr/share/doc/mona-examples
/usr/share/doc/mona-examples/ab1.mona
/usr/share/doc/mona-examples/ab2.mona
/usr/share/doc/mona-examples/bdd_volatility
/usr/share/doc/mona-examples/even.mona
/usr/share/doc/mona-examples/even_with_assert.mona
/usr/share/doc/mona-examples/even_with_pred.mona
/usr/share/doc/mona-examples/html.mona
/usr/share/doc/mona-examples/hyman.mona
/usr/share/doc/mona-examples/lossy_queue.mona
/usr/share/doc/mona-examples/minusmodulo.mona
/usr/share/doc/mona-examples/nadder.mona
/usr/share/doc/mona-examples/plusmodulo.mona
/usr/share/doc/mona-examples/presburger.mona
/usr/share/doc/mona-examples/regexp.mona
References
Summary
In this tutorial we learn how to install mona-examples on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
