dafny command not found

Introduction

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

dafny: command not found

or when using sudo you get the following error message

sudo: dafny: command not found

Solutions to dafny: command not found

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

In Ubuntu dafny is provided by dafny package.

dafny is:

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.

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

sudo apt-get -y install dafny

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

You can also use apt command to install dafny.

sudo apt -y install dafny

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

sudo aptitude install dafny

Summary

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