How to Install and Uninstall lbt Package on Kali Linux

Last updated: February 16,2025

1. Install "lbt" package

Here is a brief guide to show you how to install lbt on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                lbt
            
                    
    
    Copied

2. Uninstall "lbt" package

This guide covers the steps necessary to uninstall lbt on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                lbt
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the lbt package on Kali Linux

Package: lbt
Version: 1.2.2-7
Installed-Size: 100
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Size: 30608
SHA256: 51badb4a7d7a6f90ad9dfa401f1c09dc895a849193e2009490669e1497bde64e
SHA1: db158d28523b7384a994c055714331d06cf9c0ef
MD5sum: f21dc8d618d34912f70475439a08faf2
Description: 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:
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Tag: field::mathematics, interface::commandline, role::program,
scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_amd64.deb