How to Install and Uninstall minisat Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 19,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "minisat" package

In this section, we are going to explain the necessary steps to install minisat on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat
            
                    
    
    Copied

2. Uninstall "minisat" package

Please follow the steps below to uninstall minisat on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: minisat
Architecture: amd64
Version: 1:2.2.1-5build2
Priority: extra
Section: universe/science
Source: minisat2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 414
Provides: minisat2
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Conflicts: minisat2 (<< 1:2.2.1-1)
Replaces: minisat2 (<< 1:2.2.1-1)
Filename: pool/universe/m/minisat2/minisat_2.2.1-5build2_amd64.deb
Size: 81944
MD5sum: a48c3787d94558cfc7c4b04a75bc32ae
SHA1: 8918e66dd0a8ade1d28c2666a47d9d6ba9dd3725
SHA256: aed488455b63134fe270b0df7342a544888214bc17120a3708259084428616c1
SHA512: 8cdea954ecd77f2fa3e0bb962e6daf1b1d3a41f1050c763ab95acbe7ac9c51ba6bb5676aafc3f6e2a79ae193daa2db06c4a395ff616293ce3dfbd9ed1582a45e
Homepage: http://minisat.se/
Description: Fast and lightweight SAT solver
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28