How To Install science-logic on Debian 10
Introduction
In this tutorial we learn how to install science-logic on Debian 10.
What is science-logic
science-logic is:
This metapackage is part of the Debian Pure Blend “Debian Science” and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.
There are three methods to install science-logic on Debian 10. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.
Install science-logic Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install science-logic using apt-get by running the following command:
sudo apt-get -y install science-logic
Install science-logic Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install science-logic using apt by running the following command:
sudo apt -y install science-logic
Install science-logic Using aptitude
If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian. Update apt database with aptitude using the following command.
sudo aptitude update
After updating apt database, We can install science-logic using aptitude by running the following command:
sudo aptitude -y install science-logic
How To Uninstall science-logic on Debian 10
To uninstall only the science-logic package we can use the following command:
sudo apt-get remove science-logic
Uninstall science-logic And Its Dependencies
To uninstall science-logic and its dependencies that are no longer needed by Debian 10, we can use the command below:
sudo apt-get -y autoremove science-logic
Remove science-logic Configurations and Data
To remove science-logic configuration and data from Debian 10 we can use the following command:
sudo apt-get -y purge science-logic
Remove science-logic configuration, data, and all of its dependencies
We can use the following command to remove science-logic configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge science-logic
Dependencies
science-logic have the following dependencies:
References
Summary
In this tutorial we learn how to install science-logic package on Debian 10 using different package management tools: apt, apt-get and aptitude.