How to Install and Uninstall cryptominisat Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 24,2024

1. Install "cryptominisat" package

This guide let you learn how to install cryptominisat on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cryptominisat
            
                    
    
    Copied

2. Uninstall "cryptominisat" package

Learn how to uninstall cryptominisat on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cryptominisat package on Ubuntu 23.10 (Mantic Minotaur)

Package: cryptominisat
Architecture: amd64
Version: 5.11.4+dfsg1-3
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: 282
Depends: libboost-program-options1.74.0 (>= 1.74.0+ds1), libc6 (>= 2.34), libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4)
Filename: pool/universe/c/cryptominisat/cryptominisat_5.11.4+dfsg1-3_amd64.deb
Size: 81020
MD5sum: afeb99ff5d79a74fc50d48c8dc8879cf
SHA1: 841f249bc954a48b132c1678e359f08c93adcb46
SHA256: 3ca8fcbe79c6467bd1fe621825907ee68f6e203601eced0d44774fca9129a1ac
SHA512: 2c1e71c1c1d8e20ed508c5e8ab6fe3f4dc2acd27c654ab7db1d98a5c8ee3f31508a7b9c929a88247a2a37975c9b7284cc0154aa6a8110ab13b64e316ebe1a0e2
Homepage: https://www.msoos.org/
Description: SAT solver command line interface
Description-md5: 9d0e8e0236146acc2b7957ceba029158