- libc6 (>= 2.34)
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
Installed Size: 804.9 kB
Architectures: arm64 amd64