Install boolector by entering the following commands in the terminal:
sudo apt update sudo apt install boolector
Description:
SMT solver for bit-vectors and arrays
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.
Homepage: http://fmv.jku.at/boolector/
Version: 1.5.118.6b56be4.121013-1build1
Section: universe/science