Binary package “boolector” in ubuntu kinetic
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.
Published versions
- boolector 1.5.118.6b56be4.121013-1.1 in amd64 (Release)
- boolector 1.5.118.6b56be4.121013-1.1 in arm64 (Release)
- boolector 1.5.118.6b56be4.121013-1.1 in armhf (Release)
- boolector 1.5.118.6b56be4.121013-1.1 in ppc64el (Release)
- boolector 1.5.118.6b56be4.121013-1.1 in riscv64 (Release)
- boolector 1.5.118.6b56be4.121013-1.1 in s390x (Release)
