How to Install and Uninstall minisat Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: December 23,2024

1. Install "minisat" package

In this section, we are going to explain the necessary steps to install minisat on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat
            
                    
    
    Copied

2. Uninstall "minisat" package

This is a short guide on how to uninstall minisat on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat package on Ubuntu 20.04 LTS (Focal Fossa)

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
Homepage: http://minisat.se/
Description: Fast and lightweight SAT solver
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28