Installion's Lion Logo

Installion.co.uk

How To Uninstall boolector On Debian 9

To uninstall boolector just follow these instructions.

Uninstall just boolector

SMT solver for bit-vectors and arraysDebian 9.0science1.5.118.6b56be4.121013-1+b1
sudo apt-get remove boolector

This will remove just the boolector package itself.

Uninstall boolector and its dependencies

sudo apt-get remove --auto-remove boolector

This will remove the boolector package and any other dependant packages which are no longer needed.

Purging your config/data too

If you also want to delete your local/config files for boolector then this will work.

 Caution! Purged config/data can not be restored by reinstalling the package.
sudo apt-get purge boolector

Or similarly, like this boolector

sudo apt-get purge --auto-remove boolector

Package Data

Packageboolector
Version1.5.118.6b56be4.121013-1+b1
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttp://fmv.jku.at/boolector/
DescriptionSMT solver for bit-vectors and arrays
Distrodebian
Releasestretch
Repomain
Sectionscience

Dependencies