boolector binary package in Ubuntu Xenial amd64
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-10-22 15:20:22 UTC | Published | Ubuntu Xenial amd64 | release | universe | science | Extra | 1.5.118.6b56be4.121013-1 | ||
|