How to Install and Uninstall libcryptominisat5-5.11t64 Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 23,2024

1. Install "libcryptominisat5-5.11t64" package

In this section, we are going to explain the necessary steps to install libcryptominisat5-5.11t64 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-5.11t64
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-5.11t64" package

Please follow the guidance below to uninstall libcryptominisat5-5.11t64 on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-5.11t64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-5.11t64 package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcryptominisat5-5.11t64
Architecture: amd64
Version: 5.11.15+dfsg1-1.1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cryptominisat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1028
Provides: libcryptominisat5-5.11 (= 5.11.15+dfsg1-1.1)
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Breaks: libcryptominisat5-5.11 (<< 5.11.15+dfsg1-1.1)
Replaces: libcryptominisat5-5.11
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb
Size: 447234
MD5sum: 26f8ff75aaac32de25bd6e77b2c4e8ca
SHA1: c425a61f0a045b85bf5079bb93955981f48a798b
SHA256: b24af1db1a69a6cb768e6eb499e4df5724ee28f793d222a20d33412eef5f4d14
SHA512: 9b75e8fef481ef50c73b063f8c3d051cf82846d8194e8b4a41f13257a8a53b9cf623b04dcdb70755ae9ac29d0db11e0d56d825c963a0138c50688b092dc442b3
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c