minisat+ command not found
Introduction
When you run more command in linux terminal / console, you get the following error message
minisat+: command not found
or when using sudo you get the following error message
sudo: minisat+: command not found
Solutions to minisat+: command not found
How To Fix minisat+: command not found in Ubuntu / Debian / Kali Linux / Raspbian
In Ubuntu minisat+ is provided by minisat+ package.
minisat+ is:
MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1 integer programming) that is based on the MiniSat SAT-solver. It supports optimizing a linear objective function, subject to a set of linear constraints. The variables of the objective function and constraints are boolean, i.e. required to be 0 or
- Pseudo-Boolean optimization can be used to solve many kinds of combinatorial optimization problems. This version of Minisat+ is compiled with bignum support for constraint coefficients.
To fix this problem, we can install more using the command below.
sudo apt-get -y install minisat+
This command might take some time to finish depending on your machine internet connection.
You can also use apt command to install minisat+.
sudo apt -y install minisat+
Or if you have aptitude installed you can use the following command.
sudo aptitude install minisat+
Summary
In this tutorial we learn how to fix minisat+ command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.