How to Install and Uninstall cryptominisat Package on Linux Mint 21 (Vanessa)

Last updated: December 23,2024

1. Install "cryptominisat" package

This tutorial shows how to install cryptominisat on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                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 Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Linux Mint 21 (Vanessa)

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