How to Install and Uninstall libcryptominisat5-5.8 Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "libcryptominisat5-5.8" package

Please follow the guidance below to install libcryptominisat5-5.8 on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-5.8" package

Please follow the guidance below to uninstall libcryptominisat5-5.8 on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-5.8 package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcryptominisat5-5.8
Architecture: amd64
Version: 5.8.0+dfsg1-2
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: 893
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.3.1), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 11)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb
Size: 386708
MD5sum: c55ef6fa6661a37b95398e1d2168b1d9
SHA1: d8db6100c3c54448ece23262d8a413925105107c
SHA256: c0e9e738ce1f26974226ca5578c1482eacbcf013021b8051410bb862a3480d3a
SHA512: 50cd2e3028c5ce41c2801d57947f667902407b269f3e331c6bb7ae5e7e616c8756650b9bc082a9bd91b593a6fe2a88b53b648dae194328c2936183955b7d2086
Homepage: https://www.msoos.org/
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c