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

Last updated: May 10,2024

1. Install "python3-cryptominisat" package

Please follow the steps below to install python3-cryptominisat on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-cryptominisat
            
                    
    
    Copied

2. Uninstall "python3-cryptominisat" package

This tutorial shows how to uninstall python3-cryptominisat on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-cryptominisat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: python3-cryptominisat
Architecture: amd64
Version: 5.11.4+dfsg1-3
Multi-Arch: same
Priority: optional
Section: universe/python
Source: cryptominisat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1420
Depends: python3 (<< 3.12), python3 (>= 3.11~), libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cryptominisat/python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb
Size: 534358
MD5sum: 65dfc64829cec1c298e6cb3a4710a097
SHA1: 8582726445eb428db386c601f69daa106a470487
SHA256: 1f15776eee9bf5e1ffe32028edbbf44275d228abc697ec35cd1150138ada5577
SHA512: f065f6c563b2587aadaf48c16628a18f66ac8c0f89f7a5a55f0a24ba689ced694772d70e3e0674b53f0d6fee986bb3c0965f4671be35c18dde4b45668a797e1a
Homepage: https://www.msoos.org/
Description: Python bindings for the CryptoMiniSat SAT solver (Python 3)
Description-md5: fe0ab3beb0e88dcf00ef6dde3984f9e6