How to Install and Uninstall picosat Package on Linux Mint 21.3 (Virginia)

Last updated: December 24,2024

1. Install "picosat" package

Please follow the guidelines below to install picosat on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                picosat
            
                    
    
    Copied

2. Uninstall "picosat" package

Please follow the guidance below to uninstall picosat on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                picosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the picosat package on Linux Mint 21.3 (Virginia)

Package: picosat
Architecture: amd64
Version: 965-2
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 881
Depends: libc6 (>= 2.7)
Filename: pool/universe/p/picosat/picosat_965-2_amd64.deb
Size: 91888
MD5sum: d18891a8bbd956180b609d7c370b6eec
SHA1: ac2be53c406da40d0830c00def28653327d60753
SHA256: 92146943920449f4f11d9f77665e12ed3a913610547efeb36348e66564d3b0f4
SHA512: 76966b73a73af24bfe04fe1b47ba6192243e341294ab2dc7a45144f13746ee3637bb535434eb52280bc619d87075f0eadc55c76818461e5ce96f417b99e5b0b2
Homepage: http://fmv.jku.at/picosat/
Description: SAT solver with proof and core support
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b