Ubuntu
boolector package

boolector 1.5.118.6b56be4.121013-1.3 source package in Ubuntu

Changelog

boolector (1.5.118.6b56be4.121013-1.3) unstable; urgency=medium

  * Non-maintainer upload.
  * mkconfig: Do not embed architecture of running kernel.
    (Closes: #1023886)

 -- Vagrant Cascadian <email address hidden>  Fri, 11 Nov 2022 20:56:12 -0800

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe science
Noble release universe science
Mantic release universe science
Lunar release universe science

Downloads

File Size SHA-256 Checksum
boolector_1.5.118.6b56be4.121013-1.3.dsc 1.7 KiB 2cc2638d7473fe81f49396d126dad3407a3ecac43ef6af6eb8e82a64c0065e57
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-1.3.debian.tar.xz 5.4 KiB bea3c882251b9b1f132002992135581b5281d92ab71111275233db09e065d35c

No changes file available.

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: debug symbols for boolector