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

Last updated: May 16,2024

1. Install "lbt" package

This guide let you learn how to install lbt on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                lbt
            
                    
    
    Copied

2. Uninstall "lbt" package

Learn how to uninstall lbt on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                lbt
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: lbt
Priority: optional
Section: universe/math
Installed-Size: 140
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 1.2.2-5
Depends: libc6 (>= 2.7), libstdc++6 (>= 4.1.1)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-5_amd64.deb
Size: 33832
MD5sum: 5abfc2f0af8fddeff5e40afd1a0cbef7
SHA1: 3741fefd73b415a08c667b62f9e5ed5374e278ee
SHA256: 68b8566e87845f9e00bf4ead5453a146e81dab499fc9f80286a1539059a410dd
Description-en: converts from LTL formulas to Büchi automata
This software converts a linear temporal logic (ltl) formula to a
generalised Büchi automaton. The resulting automaton may be used, for
instance, in model checking, where it represents a property to be
verified from a model (e.g. a Petri net).
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu