maria-cso command not found

Introduction

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

maria-cso: command not found

or when using sudo you get the following error message

sudo: maria-cso: command not found

Solutions to maria-cso: command not found

How To Fix maria-cso: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu maria-cso is provided by maria package.

maria is:

Maria is a powerful tool designed to aid engineers in modelling and solving concurrency related problems in parallel and distributed computing systems.

Maria finds deadlocks and violations against safety or liveness requirements by exploring all states that can be reached from the initial state of a system. The tool manages tens or hundreds of millions of reachable states and enabled actions.

The expressive power of Maria’s formalism is close to high-level programming languages, thanks to its rich data type system and powerful algebraic operations.

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

sudo apt-get -y install maria

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

You can also use apt command to install maria.

sudo apt -y install maria

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

sudo aptitude install maria

Summary

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