Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install picosat on Debian Unstable (Sid)


Install picosat

Installing picosat package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install picosat

picosat package information

distro Debian Unstable (Sid)
section Main
name picosat
version 960-1
description SAT solver with proof and core support
subsection science
website fmv.jku.at / picosat / 
maintainer Michael Tautschnig

Uninstall picosat

To remove just picosat package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove picosat

Uninstall picosat and it’s dependent packages

To remove the picosat package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove picosat

Purging picosat

If you also want to delete configuration and/or data files of picosat from Debian Sid then this will work:

sudo apt-get purge picosat

To delete configuration and/or data files of picosat and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove picosat

 

Comments

comments