How to Install and Uninstall picosat Package on Kali Linux

Last updated: October 05,2024

1. Install "picosat" package

This is a short guide on how to install picosat on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                picosat
            
                    
    
    Copied

2. Uninstall "picosat" package

This is a short guide on how to uninstall picosat on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                picosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the picosat package on Kali Linux

Package: picosat
Version: 965-2
Installed-Size: 879
Maintainer: Debian Science Team
Architecture: amd64
Depends: libc6 (>= 2.7)
Size: 94496
SHA256: 6624843a227421db9e565e4d841f0921b54d02061ffca86d3cdb4bdd4eb2c5aa
SHA1: cc0177dee4a1779f245ad96abbbf22e03936d898
MD5sum: 207bd8341b2fd889e438f145ba8016ed
Description: SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
PicoSAT is a SAT solver that turned out to be faster on industrial instances
than MiniSAT 2.0 and also can generate proofs and cores in memory.
Description-md5:
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