How to Install and Uninstall mona.x86_64 Package on Fedora 36

Last updated: December 28,2024

1. Install "mona.x86_64" package

Please follow the steps below to install mona.x86_64 on Fedora 36


    
        
            $
        

        
            
                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 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                mona.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the mona.x86_64 package on Fedora 36

Last metadata expiration check: 4:28:31 ago on Thu Sep 8 02:05:26 2022.
Available Packages
Name : mona
Version : 1.4r18
Release : 6.fc36
Architecture : x86_64
Size : 663 k
Source : mona-1.4r18-6.fc36.src.rpm
Repository : fedora
Summary : A decision procedure for the WS1S and WS2S logics
URL : https://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.