alt-ergo command not found

Introduction

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

alt-ergo: command not found

or when using sudo you get the following error message

sudo: alt-ergo: command not found

Solutions to alt-ergo: command not found

How To Fix alt-ergo: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu alt-ergo is provided by alt-ergo package.

alt-ergo is:

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.

This package contains the prover as a command-line executable.

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

sudo apt-get -y install alt-ergo

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

You can also use apt command to install alt-ergo.

sudo apt -y install alt-ergo

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

sudo aptitude install alt-ergo

Summary

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