FLOTTER command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

FLOTTER: command not found

or when using sudo you get the following error message

sudo: FLOTTER: command not found

Solutions to FLOTTER: command not found

How To Fix FLOTTER: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu FLOTTER is provided by spass package.

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.

To fix this problem, we can install more using the command below.

sudo apt-get -y install spass

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install spass.

sudo apt -y install spass

Or if you have aptitude installed you can use the following command.

sudo aptitude install spass

Summary

In this tutorial we learn how to fix FLOTTER command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.