acl2 command not found

In this troubleshooting guide we learn how to fix acl2 command not found error message

Introduction

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

acl2: command not found

or when using sudo you get the following error message

sudo: acl2: command not found

In Ubuntu acl2 is provided by acl2 package.

acl2 is:

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

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

sudo apt-get -y install acl2

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

You can also use apt command to install acl2.

sudo apt -y install acl2

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

sudo aptitude install acl2

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