Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install sat4j on Debian Unstable (Sid)


Install sat4j

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

sudo apt-get update
sudo apt-get install sat4j

sat4j package information

distro Debian Unstable (Sid)
section Main
name sat4j
version 2.3.3-1
description Efficient library of SAT solvers in Java
subsection science
website sat4j.org
maintainer Michael Tautschnig

Uninstall sat4j

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

sudo apt-get remove sat4j

Uninstall sat4j and it’s dependent packages

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

sudo apt-get remove --auto-remove sat4j

Purging sat4j

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

sudo apt-get purge sat4j

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

sudo apt-get purge --auto-remove sat4j

Comments

comments