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

Last updated: May 02,2024

1. Install "minisat2" package

Please follow the guidelines below to install minisat2 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat2
            
                    
    
    Copied

2. Uninstall "minisat2" package

In this section, we are going to explain the necessary steps to uninstall minisat2 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: minisat2
Priority: extra
Section: universe/science
Installed-Size: 29
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Version: 1:2.2.1-5
Depends: minisat
Filename: pool/universe/m/minisat2/minisat2_2.2.1-5_amd64.deb
Size: 1994
MD5sum: 5e01e6ba5cee5662dc14571cdf110b06
SHA1: 5ea5a093be6d36d8167874bb487ac7ce26e4af8c
SHA256: 89d75374849e658ef337d4361257ded5edc78867fcb31be7e38ebdfc188e83c7
Description-en: Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after
the installation is complete.
Description-md5: 8385de90ce10778a1ebab6a56629355e
Homepage: http://minisat.se/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu