How to Install and Uninstall lbt Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 16,2024

1. Install "lbt" package

Please follow the guidelines below to install lbt on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                lbt
            
                    
    
    Copied

2. Uninstall "lbt" package

Please follow the steps below to uninstall lbt on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                lbt
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the lbt package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: lbt
Architecture: amd64
Version: 1.2.2-6
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 94
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-6_amd64.deb
Size: 30066
MD5sum: 5acba0fc81b831bfc27a864d1a555095
SHA1: a3fa3134e9381271776ff2f04e7925fff43221b7
SHA256: 7a3cb1af4eba1a1f91eb784b44bcc24a79c94f1b5214921ccde285839dbc7afe
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description: converts from LTL formulas to B?chi automata
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9