clasp command not found

Introduction

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

clasp: command not found

or when using sudo you get the following error message

sudo: clasp: command not found

Solutions to clasp: command not found

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

In Ubuntu clasp is provided by clasp package.

clasp is:

clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format).

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

sudo apt-get -y install clasp

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

You can also use apt command to install clasp.

sudo apt -y install clasp

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

sudo aptitude install clasp

Summary

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