How to Install and Uninstall minisat Package on Debian 10 (Buster)

Last updated: December 23,2024

1. Install "minisat" package

This tutorial shows how to install minisat on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minisat
            
                    
    
    Copied

2. Uninstall "minisat" package

Learn how to uninstall minisat on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minisat package on Debian 10 (Buster)

Package: minisat
Source: minisat2 (1:2.2.1-5)
Version: 1:2.2.1-5+b3
Installed-Size: 405
Maintainer: Michael Tautschnig
Architecture: amd64
Replaces: minisat2 (<< 1:2.2.1-1)
Provides: minisat2
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Conflicts: minisat2 (<< 1:2.2.1-1)
Description: Fast and lightweight SAT solver
Description-md5: 638e185d46cca4091c1f6ba3a13b4c28
Homepage: http://minisat.se/
Tag: field::mathematics, implemented-in::c++, implemented-in::java,
role::program
Section: science
Priority: optional
Filename: pool/main/m/minisat2/minisat_2.2.1-5+b3_amd64.deb
Size: 84904
MD5sum: a1a06e1c37a39b222b8dd2501c7558e0
SHA256: aaa8f62db0c9f80492f9da4bc06c3e8829fdb84692590750b9124d9a85c92ff0