cvc4 command not found

Introduction

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

cvc4: command not found

or when using sudo you get the following error message

sudo: cvc4: command not found

Solutions to cvc4: command not found

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

In Ubuntu cvc4 is provided by cvc4 package.

cvc4 is:

CVC4 is an efficient automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

CVC4 is intended to be an open and extensible SMT engine, and it can be used as a stand-alone tool or as a library. It is the fourth in the Cooperating Validity Checker family of tools (also including CVC, CVC Lite and CVC3). CVC4 has been designed to increase the performance and reduce the memory overhead of its predecessors.

This package contains binaries needed to use CVC4 as a stand-alone tool.

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

sudo apt-get -y install cvc4

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

You can also use apt command to install cvc4.

sudo apt -y install cvc4

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

sudo aptitude install cvc4

Summary

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