cddexec_gmp command not found

Introduction

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

cddexec_gmp: command not found

or when using sudo you get the following error message

sudo: cddexec_gmp: command not found

Solutions to cddexec_gmp: command not found

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

In Ubuntu cddexec_gmp is provided by libcdd-tools package.

libcdd-tools is:

The cddlib library is a C library for manipulating general convex polyhedra. It supports converting between the system of linear inequalities representation and a vertices and extreme rays representation of a polyhedron, and also supports solving linear programming problems.

This package contains example programs using libcdd, for example cdd_both_reps, which computes minimal H- and V-representations of a given convex polytope.

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

sudo apt-get -y install libcdd-tools

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

You can also use apt command to install libcdd-tools.

sudo apt -y install libcdd-tools

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

sudo aptitude install libcdd-tools

Summary

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