z3 command not found

Introduction

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

z3: command not found

or when using sudo you get the following error message

sudo: z3: command not found

Solutions to z3: command not found

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

In Ubuntu z3 is provided by z3 package.

z3 is:

Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories.

The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard.

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

sudo apt-get -y install z3

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

You can also use apt command to install z3.

sudo apt -y install z3

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

sudo aptitude install z3

Summary

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