How to Install and Uninstall cryptominisat Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 02,2024

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

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "cryptominisat" package

Please follow the step by step instructions below to install cryptominisat on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                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 Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: cryptominisat
Architecture: amd64
Version: 5.8.0+dfsg1-2
Multi-Arch: foreign
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 301
Depends: libboost-program-options1.74.0 (>= 1.74.0), libc6 (>= 2.34), libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.8.0+dfsg1-2_amd64.deb
Size: 92960
MD5sum: 3c4b5a59a9cf0d17d8dc669ac858889c
SHA1: 852e98f9dbec6ccc2a96df866792fcf18884141d
SHA256: c05859cce95ea0d805d4fde2684b18fe53cedccbb3c72e2d2772b6809d291d70
SHA512: 60b3f585c520716d4bf9c066c86d1bb19d38cb69d8217bd59c6373f4d5c5a1ce4d7161fa130a3cc18befaaf2a48e66ac2dab673f14c26974aca3bed59755a659
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158