minisat+: command not found

Maybe Your $PATH variable doesn't contain the default paths? echo $PATH should give something like:

[root@server ~]# echo $PATH
/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin

If it's empty, You may set the PATH variable with this command

export PATH="/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin"

On Debian possible default full paths are:

/usr/bin/minisat+ - from package: minisat+

You may install the required package with command apt-get install {package}

Error in other languages:
minisat+: bevel nie gevind nie
minisat+: comandă negăsită
minisat+: comando não encontrado
minisat+: commande introuvable
minisat+: command not found
minisat+: käsku ei ole
minisat+: không tìm thấy lệnh
minisat+: komanda nerasta
minisat+: Kommando nicht gefunden.
minisat+: kommandot finns inte
minisat+: komut yok
minisat+: nie znaleziono polecenia
minisat+: níor aimsíodh an t-ordú
minisat+: no se encontró la orden
minisat+: no s'ha trobat l'ordre
minisat+: opdracht niet gevonden
minisat+: parancs nem található
minisat+: perintah tidak ditemukan
minisat+: príkaz nenájdený
minisat+: příkaz nenalezen
minisat+: команда не найдена
minisat+: командата не е открита
minisat+: 命令找不到
minisat+: コマンドが見つかりません