gta2dot command not found

Introduction

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

gta2dot: command not found

or when using sudo you get the following error message

sudo: gta2dot: command not found

Solutions to gta2dot: command not found

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

In Ubuntu gta2dot is provided by mona package.

mona is:

MONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counter-example.

Documentation is available from the MONA website http://www.brics.dk/mona/.

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

sudo apt-get -y install mona

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

You can also use apt command to install mona.

sudo apt -y install mona

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

sudo aptitude install mona

Summary

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