How to Install and Uninstall minisat Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: November 10,2024

1. Install "minisat" package

This tutorial shows how to install minisat on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat
            
                    
    
    Copied

2. Uninstall "minisat" package

Here is a brief guide to show you how to uninstall minisat on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat package on Ubuntu 24.04 LTS (Noble Numbat)

Package: minisat
Architecture: amd64
Version: 1:2.2.1-8
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: 398
Provides: minisat2
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Filename: pool/universe/m/minisat2/minisat_2.2.1-8_amd64.deb
Size: 88094
MD5sum: f64c5eb8e027f74bb9a7b0434a0e226d
SHA1: c7c8d2fb6807b11ec02a8329f30fa12720472b3c
SHA256: 599256f82a48aeae963e5236ef85a708ad83b8c2928b98e6327b953bb6bffcc3
SHA512: 791689bcaca5b2a52480ce3173ba1595c82e521eba5a790c7ee2c79d6f856aaa7060796e3ed55d9690c91238e91d2de7b1fcfd9891a2582db97891ebedd8fe77
Homepage: http://minisat.se/
Description: Fast and lightweight SAT solver
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28