How To Install spass on Kali Linux

In this tutorial we learn how to install spass on Kali Linux. spass is automated theorem prover for first-order logic with equality

Introduction

In this tutorial we learn how to install spass on Kali Linux.

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 Kali Linux. 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 on Kali Linux first since aptitude is usually not installed by default on Kali Linux. 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 Kali Linux

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 Kali Linux, we can use the command below:

sudo apt-get -y autoremove spass

Remove spass Configurations and Data

To remove spass configuration and data from Kali Linux 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 Kali Linux using different package management tools: apt, apt-get and aptitude.