boolector
SMT solver for bit-vectors and arrays
Install
- All systems
-
curl cmd.cat/boolector.sh
- Debian
-
apt-get install boolector - Ubuntu
-
apt-get install boolector - Kali Linux
-
apt-get install boolector - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install boolector - Raspbian
-
apt-get install boolector - Dockerfile
- dockerfile.run/boolector
boolector
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.