How to Install and Uninstall cryptominisat Package on Debian 12 (Bookworm)

Last updated: May 17,2024

You can also install and uninstall the cryptominisat on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "cryptominisat" package

This guide covers the steps necessary to install cryptominisat on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

In this section, we are going to explain the necessary steps to uninstall cryptominisat on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Debian 12 (Bookworm)

Package: cryptominisat
Source: cryptominisat (5.11.4+dfsg1-2)
Version: 5.11.4+dfsg1-2+b1
Installed-Size: 280
Maintainer: Debian Science Team
Architecture: amd64
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), 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.11.4+dfsg1-2+b1_amd64.deb
Size: 77096
MD5sum: e0d531fe733833a83078522002df8e9a
SHA256: bfdd6100d338569563917e14639621d62b423a2a90e6fda2c5c77353c1644e1a