How to Install and Uninstall cryptominisat Package on Debian 11 (Bullseye)

Last updated: May 17,2024

1. Install "cryptominisat" package

This is a short guide on how to install cryptominisat on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

This guide let you learn how to uninstall cryptominisat on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Debian 11 (Bullseye)

Package: cryptominisat
Source: cryptominisat (5.8.0+dfsg1-1)
Version: 5.8.0+dfsg1-1+b3
Installed-Size: 318
Maintainer: Debian Science Team
Architecture: amd64
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.29), libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 9), zlib1g (>= 1:1.1.4)
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158
Multi-Arch: foreign
Homepage: https://www.msoos.org/
Section: math
Priority: optional
Filename: pool/main/c/cryptominisat/cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
Size: 88028
MD5sum: 7dd2e3e22252def1b3f7a38786e96283
SHA256: 1becdd5d30623f429640e839ffe4e7f7537e7e7d76d2cb4f00dcf86aa5cafebe