boolector 1.5.118.6b56be4.121013-1build1 source package in Ubuntu
Changelog
boolector (1.5.118.6b56be4.121013-1build1) bionic; urgency=high * No change rebuild to pick up -fPIE compiler default -- Balint Reczey <email address hidden> Tue, 03 Apr 2018 12:15:32 +0000
Upload details
- Uploaded by:
- Balint Reczey
- Uploaded to:
- Bionic
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Focal | release | universe | science | |
Bionic | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz | 162.4 KiB | 5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 |
boolector_1.5.118.6b56be4.121013.orig.tar.gz | 184.3 KiB | e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 |
boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz | 4.7 KiB | 91650ed5e17b3becefe9d8013e848611216d764914edf4a29b4b4952d84b8d39 |
boolector_1.5.118.6b56be4.121013-1build1.dsc | 2.2 KiB | 1310f3483bf0491858f1b4196d773d21920200fe8a014ad90bf86f460b1cad57 |
Available diffs
Binary packages built by this source
- 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.
- boolector-dbgsym: No summary available for boolector-dbgsym in ubuntu impish.
No description available for boolector-dbgsym in ubuntu impish.