How to Install and Uninstall picosat Package on Debian 11 (Bullseye)

Last updated: December 24,2024

1. Install "picosat" package

Learn how to install picosat on Debian 11 (Bullseye)

$ sudo apt update $ sudo apt install picosat

2. Uninstall "picosat" package

This tutorial shows how to uninstall picosat on Debian 11 (Bullseye):

$ sudo apt remove picosat $ sudo apt autoclean && sudo apt autoremove

3. Information about the picosat package on Debian 11 (Bullseye)

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