How to Install and Uninstall mona.x86_64 Package on Fedora 35
Last updated: October 07,2024
1. Install "mona.x86_64" package
This is a short guide on how to install mona.x86_64 on Fedora 35
$
sudo dnf update
Copied
$
sudo dnf install
mona.x86_64
Copied
2. Uninstall "mona.x86_64" package
Please follow the guidance below to uninstall mona.x86_64 on Fedora 35:
$
sudo dnf remove
mona.x86_64
Copied
$
sudo dnf autoremove
Copied
3. Information about the mona.x86_64 package on Fedora 35
Last metadata expiration check: 3:00:21 ago on Wed Sep 7 08:25:01 2022.
Available Packages
Name : mona
Version : 1.4r18
Release : 4.fc35
Architecture : x86_64
Size : 661 k
Source : mona-1.4r18-4.fc35.src.rpm
Repository : fedora
Summary : A decision procedure for the WS1S and WS2S logics
URL : http://www.brics.dk/mona/
License : GPLv2+
Description : MONA is a tool that translates formulas in the logics WS1S or WS2S into
: finite-state automata represented by BDDs. The formulas may express search
: patterns, temporal properties of reactive systems, parse tree constraints,
: etc. MONA also analyses the automaton resulting from the compilation, and
: determines whether the formula is valid and, if the formula is not valid,
: generates a counterexample.
Available Packages
Name : mona
Version : 1.4r18
Release : 4.fc35
Architecture : x86_64
Size : 661 k
Source : mona-1.4r18-4.fc35.src.rpm
Repository : fedora
Summary : A decision procedure for the WS1S and WS2S logics
URL : http://www.brics.dk/mona/
License : GPLv2+
Description : MONA is a tool that translates formulas in the logics WS1S or WS2S into
: finite-state automata represented by BDDs. The formulas may express search
: patterns, temporal properties of reactive systems, parse tree constraints,
: etc. MONA also analyses the automaton resulting from the compilation, and
: determines whether the formula is valid and, if the formula is not valid,
: generates a counterexample.