How To Install FLOTTER on CentOS 8

One-liner Install Command

If you are only interested in the installation command, here is a quick answer for you:

sudo yum makecache && sudo yum -y install spass

sudo dnf makecache && sudo dnf -y install spass

But if you are interested in the details with step-by-step instructions, the following information will be helpful.

What is FLOTTER and How to Install It?

First things first, you will need access to a server or computer running CentOS 8. This guide was written specifically with a server running CentOS 8 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 CentOS 8. 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 on CentOS 8 using dnf

First, update dnf packages database with dnf by running the next command:

sudo dnf makecache --refresh

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

sudo dnf -y install spass

Install FLOTTER on CentOS 8 using yum

Because FLOTTER is available in CentOS 8’s default repositories, it is possible to install it from these repositories using the yum packaging system.

To begin, update local packages database with yum using the following command.

sudo yum makecache --refresh

Now can install FLOTTER package on your server/computer by running the following command:

sudo yum -y install spass

How to upgrade (update) a single package FLOTTER using yum?

To update all the packages available on the system:

yum update

If you want to update a specific package like FLOTTER in this example you should use the following command:

yum update spass

To downgrade a package to an earlier version:

yum downgrade spass

How to Upgrade FLOTTER on CentOS 8 with dnf?

When you run the dnf update, all system packages with available updates are updated. However, if you want to upgrade a single package, then you would have to pass the package name as the argument to the dnf update command.

dnf update spass

How To remove FLOTTER from CentOS 8

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

sudo dnf remove 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 dnf and yum package managers. Also, we showed how to update manually as a single package and different ways to uninstall the FLOTTER from CentOS 8.

See also: