Ubuntu
boolector package

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 Pocket 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

View changes file

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.