How to Install and Uninstall libcryptominisat5-5.8 Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: December 23,2024

1. Install "libcryptominisat5-5.8" package

This guide covers the steps necessary to install libcryptominisat5-5.8 on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-5.8" package

Here is a brief guide to show you how to uninstall libcryptominisat5-5.8 on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-5.8 package on Ubuntu 21.04 (Hirsute Hippo)

Package: libcryptominisat5-5.8
Architecture: amd64
Version: 5.8.0+dfsg1-1build2
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: 1097
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 6)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb
Size: 415976
MD5sum: 06db4cc569531d5f9336018950eecea1
SHA1: aaca238780ee9328ad9f9780dae4998c6a79e0e2
SHA256: 5c13d59eb3ef4b3ea6659f86329b6bb46ee77aba010405a2098003c633de48de
SHA512: e91f6ca201b29d5af444fe4258625662f47357efbb25e17ae09b752b5de8eee20f14ea7a7098cc33d05dbbf6adb695267a1a018154721f8e97ef3c84326074d6
Homepage: https://www.msoos.org/
Description-en: SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library.
Description-md5: 5034802a972a5e9d407dd56d8056f73c