How to Install and Uninstall minisat2 Package on Debian 12 (Bookworm)

Last updated: December 24,2024

You can also install and uninstall the minisat2 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "minisat2" package

This tutorial shows how to install minisat2 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat2
            
                    
    
    Copied

2. Uninstall "minisat2" package

Please follow the step by step instructions below to uninstall minisat2 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat2 package on Debian 12 (Bookworm)

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