How to Install and Uninstall minisat+ Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "minisat+" package

In this section, we are going to explain the necessary steps to install minisat+ on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat+
            
                    
    
    Copied

2. Uninstall "minisat+" package

Please follow the guidance below to uninstall minisat+ on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat+
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat+ package on Ubuntu 23.10 (Mantic Minotaur)

Package: minisat+
Architecture: amd64
Version: 1.0-4build1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 352
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libstdc++6 (>= 5)
Filename: pool/universe/m/minisat+/minisat+_1.0-4build1_amd64.deb
Size: 142004
MD5sum: 7362c3fa3e9643051949bb0f0a5461cb
SHA1: 225d4b3e0d15432c18497548fe2fbe250e6b1672
SHA256: f5f1cc237053f0189b19a1daed94793cf82a4bcc329e5d2144d126b054b91ec0
SHA512: fe5dc1d536b2c169fa4200f400f0b511f0d43268df4c1b2959163df7765079089a20c6955ed20045c3d5e30b9a641cb726e2e7216a831cec74eda388cdfff2d6
Homepage: http://minisat.se/MiniSat+.html
Description: solver for pseudo-Boolean constraints
Description-md5: 5abc23f5b2ba8e7a876d2a8e3bf6dfdb