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

Last updated: November 29,2024

1. Install "mona.x86_64" package

Please follow the step by step instructions below to install mona.x86_64 on Fedora 34


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                mona.x86_64
            
                    
    
    Copied

2. Uninstall "mona.x86_64" package

Please follow the steps below to uninstall mona.x86_64 on Fedora 34:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                mona.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

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

Last metadata expiration check: 2:04:24 ago on Tue Sep 6 02:10:55 2022.
Available Packages
Name : mona
Version : 1.4r18
Release : 3.fc34
Architecture : x86_64
Size : 668 k
Source : mona-1.4r18-3.fc34.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.