To uninstall z3 just follow these instructions.
sudo apt-get remove z3
This will remove just the z3 package itself.
sudo apt-get remove --auto-remove z3
This will remove the z3 package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for z3 then this will work.
sudo apt-get purge z3
Or similarly, like this z3
sudo apt-get purge --auto-remove z3
|Maintainer||Michael Tautschnig <[email protected]>|
|Description||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.|