How to Install and Uninstall picosat Package on Debian 10 (Buster)

Last updated: November 21,2024

1. Install "picosat" package

This guide covers the steps necessary to install picosat on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                picosat
            
                    
    
    Copied

2. Uninstall "picosat" package

This is a short guide on how to uninstall picosat on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                picosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the picosat package on Debian 10 (Buster)

Package: picosat
Source: picosat (960-1)
Version: 960-1+b2
Installed-Size: 740
Maintainer: Michael Tautschnig
Architecture: amd64
Depends: libc6 (>= 2.14)
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_960-1+b2_amd64.deb
Size: 122972
MD5sum: 55a43dd809e505f175f0d913e489602a
SHA256: 9ff25ebec977c957194f527645131fec70db232ce8b46a6c3332f114e58adabb