How to Install and Uninstall python3-pycosat Package on Ubuntu 21.10 (Impish Indri)

Last updated: July 04,2024

1. Install "python3-pycosat" package

This tutorial shows how to install python3-pycosat on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                python3-pycosat
            
                    
    
    Copied

2. Uninstall "python3-pycosat" package

Please follow the step by step instructions below to uninstall python3-pycosat on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                python3-pycosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the python3-pycosat package on Ubuntu 21.10 (Impish Indri)

Package: python3-pycosat
Architecture: amd64
Version: 0.6.3+dfsg-1build3
Priority: optional
Section: universe/python
Source: python-pycosat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Med Packaging Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 49
Depends: python3 (<< 3.10), python3 (>= 3.9~), libc6 (>= 2.4), picosat (>= 953)
Filename: pool/universe/p/python-pycosat/python3-pycosat_0.6.3+dfsg-1build3_amd64.deb
Size: 10372
MD5sum: fff3efc09e96d8a9cab63f733b0148ea
SHA1: 52a1e0e0ad05bb7f26ecb8804322c49a5506e218
SHA256: 531ba9d5aee8c84a28fd811902d793fb64a02bd9886d7c0cea9594823c710e5b
SHA512: 0b0727ba835ff1d26c650fd8a3799baf37ca1153f2d89bc6fe625dba32ae3a0a0bd12968b7bb4acc48178b58e84fb224bc355bf8e6184635811f537b68ba0770
Homepage: https://pypi.org/project/pycosat/
Description-en: Python bindings to picosat
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
Description-md5: e046509bb4718e18f773d4fa5f7fe720