Package: boolector

"boolector" package binaries on Debian:

/usr/bin/boolector

You may install this package on Debian with apt-get install boolector