How To Install spass on Debian 11
Introduction
In this tutorial we learn how to install spass on Debian 11.
What is spass
spass is:
SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation.
This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii.
There are three methods to install spass on Debian 11. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.
Install spass Using apt-get
Update apt database with apt-get using the following command.
sudo apt-get update
After updating apt database, We can install spass using apt-get by running the following command:
sudo apt-get -y install spass
Install spass Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install spass using apt by running the following command:
sudo apt -y install spass
Install spass 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 spass using aptitude by running the following command:
sudo aptitude -y install spass
How To Uninstall spass on Debian 11
To uninstall only the spass package we can use the following command:
sudo apt-get remove spass
Uninstall spass And Its Dependencies
To uninstall spass and its dependencies that are no longer needed by Debian 11, we can use the command below:
sudo apt-get -y autoremove spass
Remove spass Configurations and Data
To remove spass configuration and data from Debian 11 we can use the following command:
sudo apt-get -y purge spass
Remove spass configuration, data, and all of its dependencies
We can use the following command to remove spass configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge spass
Dependencies
spass have the following dependencies:
References
Summary
In this tutorial we learn how to install spass package on Debian 11 using different package management tools: apt, apt-get and aptitude.