Installion's Lion Logo

Installion.co.uk

How To Uninstall z3 On Parrot 3.7

To uninstall z3 just follow these instructions.

Uninstall just z3

theorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.Parrot 3.7science4.4.1-0.3
sudo apt-get remove z3

This will remove just the z3 package itself.

Uninstall z3 and its dependencies

sudo apt-get remove --auto-remove z3

This will remove the z3 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 z3 then this will work.

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

Or similarly, like this z3

sudo apt-get purge --auto-remove z3

Package Data

Packagez3
Version4.4.1-0.3
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttps://github.com/Z3Prover/z3
Descriptiontheorem prover from Microsoft Research used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.
Distroparrot
Releasejollyroger
Repomain
Sectionscience

Dependencies