boolector: 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/boolector - from package: boolector

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

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