How to Install and Uninstall minisat2 Package on Kali Linux

Last updated: November 26,2024

1. Install "minisat2" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat2
            
                    
    
    Copied

2. Uninstall "minisat2" package

Please follow the guidelines below to uninstall minisat2 on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat2 package on Kali Linux

Package: minisat2
Source: minisat2 (1:2.2.1-5)
Version: 1:2.2.1-5+b3
Installed-Size: 13
Maintainer: Michael Tautschnig
Architecture: amd64
Depends: minisat
Size: 5258
SHA256: 109b62fad459cbbe2a6198ad16d6ba7ef6c163ea78ee66d52cc8319632e1892e
SHA1: f5fa91c480efb3331df3a6677c64c86b3cf41ecf
MD5sum: 3ef45b7afc5c5947acec99821d1cba18
Description: Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after
the installation is complete.
Description-md5:
Homepage: http://minisat.se/
Tag: field::mathematics, implemented-in::c++, role::program
Section: science
Priority: extra
Filename: pool/main/m/minisat2/minisat2_2.2.1-5+b3_amd64.deb