How to Install and Uninstall mona Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 20,2024

1. Install "mona" package

Here is a brief guide to show you how to install mona on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mona
            
                    
    
    Copied

2. Uninstall "mona" package

Please follow the guidance below to uninstall mona on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mona
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mona package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: mona
Priority: optional
Section: universe/misc
Installed-Size: 1398
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 1.4-15-1.1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1)
Recommends: graphviz
Filename: pool/universe/m/mona/mona_1.4-15-1.1_amd64.deb
Size: 397936
MD5sum: ef7a80ca96942b0d98795bcc4f5f367f
SHA1: 167c1022ed2840620eaaa948b3292d53369a92d8
SHA256: f983daf16b6b19f063e9cbdaf78dbf041ae31c4940abc38958a5954febaf5245
Description-en: theorem prover based on automata
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 counter-example.
.
Documentation is available from the MONA website http://www.brics.dk/mona/.
Description-md5: 2fcd097fb45a3451958acd496a75b3eb
Homepage: http://www.brics.dk/~amoeller/mona/index.html
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu