boolector binary package in Ubuntu Lunar ppc64el
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 | ||
---|---|---|---|---|---|---|---|---|---|
2022-11-12 21:18:37 UTC | Published | Ubuntu Lunar ppc64el | release | universe | science | Extra | 1.5.118.6b56be4.121013-1.3 | ||
|
|||||||||
Deleted | Ubuntu Lunar ppc64el | proposed | universe | science | Extra | 1.5.118.6b56be4.121013-1.3 | |||
|
|||||||||
2022-11-12 21:19:20 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | science | Extra | 1.5.118.6b56be4.121013-1.2 | ||
|
|||||||||
2022-11-14 00:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | science | Extra | 1.5.118.6b56be4.121013-1.2 | ||
|
|||||||||
2022-11-11 16:44:32 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | science | Extra | 1.5.118.6b56be4.121013-1.1 | ||
|