How to Install and Uninstall picosat Package on Debian 12 (Bookworm)

Last updated: May 14,2024

You can also install and uninstall the picosat on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "picosat" package

Please follow the step by step instructions below to install picosat on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                picosat
            
                    
    
    Copied

2. Uninstall "picosat" package

Here is a brief guide to show you how to uninstall picosat on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                picosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the picosat package on Debian 12 (Bookworm)

Package: picosat
Version: 965-2
Installed-Size: 879
Maintainer: Debian Science Team
Architecture: amd64
Depends: libc6 (>= 2.7)
Description: SAT solver with proof and core support
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b
Homepage: http://fmv.jku.at/picosat/
Tag: field::mathematics, implemented-in::c, role::program
Section: science
Priority: optional
Filename: pool/main/p/picosat/picosat_965-2_amd64.deb
Size: 94496
MD5sum: 207bd8341b2fd889e438f145ba8016ed
SHA256: 6624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa