How to Install and Uninstall picosat Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 24,2024

1. Install "picosat" package

This guide covers the steps necessary to install picosat on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                picosat
            
                    
    
    Copied

2. Uninstall "picosat" package

Please follow the guidance below to uninstall picosat on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                picosat
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the picosat package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: picosat
Architecture: amd64
Version: 960-1build1
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 727
Depends: libc6 (>= 2.14)
Filename: pool/universe/p/picosat/picosat_960-1build1_amd64.deb
Size: 115144
MD5sum: f0161e0b064d5c55da04135998a8a8e1
SHA1: 2806784a3777f8c7318a1232807055348939b41b
SHA256: 34afc0f3a0bbc7f33e55c4a27a6081189cb3d3e6fbee868cf8514aca6e1bf3b6
Homepage: http://fmv.jku.at/picosat/
Description: SAT solver with proof and core support
Description-md5: da3bd387c3a4f3fabebfc27b3fad967b