How To Install FLOTTER on Debian 11

One-liner install command

For those in a hurry, here's a one-line installation command:

sudo apt-get update && sudo apt -y install spass

But if you are interested in the detailed steps with descriptions, the following information is for you.

What is FLOTTER and what are the ways to install it?

Before beginning this tutorial, you will need access to a server or computer running Debian 11. This guide was written specifically with a server running Debian 11 in mind, although it should also work on older, supported versions of the operating system.

Also, make sure you are running a regular, non-root user with sudo privileges configured on your server. When you have an account available, log in as your non-root user to begin.

There are several ways to install FLOTTER on Debian 11. You can use (links are clickable):

In the following sections, we will describe each method in detail. You can choose one of them or refer to the recommended one.

Install FLOTTER using apt-get

First, update apt database with apt-get using the following command.

sudo apt-get update

After updating apt-get database, You can install FLOTTER using apt by running the following command:

sudo apt -y install spass

Install FLOTTER using apt

Because FLOTTER is available in Debian 11’s default repositories, it is possible to install it from these repositories using the apt packaging system.

To begin, update apt database with apt using the following command.

sudo apt update

After updating apt database, You can install FLOTTER using apt by running the following command:

sudo apt -y install spass

Install FLOTTER 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 11. Update apt database with aptitude using the following command.

sudo aptitude update

After updating aptitude database, You can install FLOTTER by running the following command:

sudo aptitude -y install spass

How to upgrade (update) a single package FLOTTER using apt-get?

First, you will need to update packages index. Run update command as usual:

sudo apt-get update

Next, to upgrade only the FLOTTER, e.g. single package, you should use the following format with the apt-get command/apt command:

sudo apt-get --only-upgrade install spass

Note that this command will not install any new packages! If you wish to install the package if it doesn't exist you may leave out --only-upgrade part.

sudo apt-get install spass

How To Uninstall FLOTTER from Debian 11

To uninstall only the FLOTTER package you can execute the following command:

sudo apt-get remove spass

Uninstall FLOTTER and all its dependencies

To uninstall FLOTTER and its dependencies that are no longer needed by Debian 11, you can use the command below:

sudo apt-get -y autoremove spass

Remove FLOTTER with all configurations and data

To remove FLOTTER configuration and data from your system you can run the following purge command:

sudo apt-get -y purge spass

Remove FLOTTER completely (configurations, data and all of its dependencies)

And lastly, you can run the next command to remove absolutely everything related to FLOTTER package, e.g.: configurations, data and all of its dependencies. Just use this command:

sudo apt-get -y autoremove --purge spass

Extra info and code examples

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. For more information, additional and partly huge example collections, consider the project homepage at http://spass.mpi-sb.mpg.de/.

Conclusion

You now have a full guide on how to install FLOTTER using apt, apt-get and aptitude tools. Also, we showed how to update as a single package and different ways to uninstall the FLOTTER from Debian 11.

See also: