How to Install and Uninstall minisat2 Package on Debian 10 (Buster)

Last updated: November 05,2024

1. Install "minisat2" package

Please follow the instructions below to install minisat2 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat2
            
                    
    
    Copied

2. Uninstall "minisat2" package

This guide let you learn how to uninstall minisat2 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat2 package on Debian 10 (Buster)

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
Description: Transitional package for minisat
Description-md5: 8385de90ce10778a1ebab6a56629355e
Homepage: http://minisat.se/
Tag: field::mathematics, implemented-in::c++, role::program
Section: science
Priority: optional
Filename: pool/main/m/minisat2/minisat2_2.2.1-5+b3_amd64.deb
Size: 5258
MD5sum: 3ef45b7afc5c5947acec99821d1cba18
SHA256: 109b62fad459cbbe2a6198ad16d6ba7ef6c163ea78ee66d52cc8319632e1892e