boolector - SMT solver for bit-vectors and arrays

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name boolector
Package version
Package release 1
Package architecture i386
Package type deb
Installed size 810 B
Download size 338.42 KB
Official Mirror
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of


Package Version Architecture Repository
boolector_1.5.118.6b56be4.121013-1_amd64.deb amd64 Debian Main
boolector - - -


Name Value
libc6 >= 2.3


Type URL
Binary Package boolector_1.5.118.6b56be4.121013-1_i386.deb
Source Package boolector

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install boolector deb package:
    # sudo apt-get install boolector




2012-10-16 - Michael Tautschnig <>
boolector ( unstable; urgency=low
* New upstream release
* Bumped Standards-Version to 3.9.3 (no changes)
2010-06-09 - Michael Tautschnig <>
boolector (1.4.ffc2089.100608-1) unstable; urgency=low
* Initial release (Closes: #584542)

See Also

Package Description
boolstuff-dev_0.1.14-2_i386.deb library for operating on boolean expression binary trees - devel
boolstuff_0.1.14-2_i386.deb programs for operating on boolean expression binary trees
boot-info-script_0.61-2_all.deb inspect boot environment
bootcd_4.05_all.deb run your system from cd without need for disks
bootchart2_0.14.4-3_i386.deb boot process performance analyser
bootlogd_2.88dsf-59_i386.deb daemon to log boot messages
bootp_2.4.3-18_i386.deb server for the bootp protocol with DHCP support
bootparamd_0.17-9_i386.deb Boot parameter server
bootpc_0.64-7_i386.deb bootp client
bootstrap-vz_0.9.0-1_all.deb Software for creating Debian images for use in public or private clouds
bopm_3.1.3-3_i386.deb Blitzed Open Proxy Monitor
bosh_0.6-6_i386.deb browse output of processes
bosixnet-daemon_1.6-2_all.deb Build Own IPv6 Network (client utilities)
bosixnet-webui_1.6-2_i386.deb Build Own IPv6 Network (server utilities)
bossa-cli_1.3~20120408-5_i386.deb Atmel SAM ARM microcontroller flash programming utility