boolector_1.5.118.6b56be4.121013-1_amd64.deb


Advertisement

Description

boolector - SMT solver for bit-vectors and arrays

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name boolector
Package version 1.5.118.6b56be4.121013
Package release 1
Package architecture amd64
Package type deb
Installed size 761 B
Download size 346.05 KB
Official Mirror ftp.br.debian.org
Boolector is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
arrays.

Alternatives

Package Version Architecture Repository
boolector_1.5.118.6b56be4.121013-1_i386.deb 1.5.118.6b56be4.121013 i386 Debian Main
boolector - - -

Requires

Name Value
libc6 >= 2.3

Download

Type URL
Binary Package boolector_1.5.118.6b56be4.121013-1_amd64.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

Files

Path
/usr/bin/boolector
/usr/share/doc/boolector/changelog.Debian.gz
/usr/share/doc/boolector/changelog.gz
/usr/share/doc/boolector/copyright
/usr/share/man/man1/boolector.1.gz

Changelog

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

See Also

Package Description
boolstuff-dev_0.1.14-2_amd64.deb library for operating on boolean expression binary trees - devel
boolstuff_0.1.14-2_amd64.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_amd64.deb boot process performance analyser
bootlogd_2.88dsf-59_amd64.deb daemon to log boot messages
bootp_2.4.3-18_amd64.deb server for the bootp protocol with DHCP support
bootparamd_0.17-9_amd64.deb Boot parameter server
bootpc_0.64-7_amd64.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_amd64.deb Blitzed Open Proxy Monitor
bosh_0.6-6_amd64.deb browse output of processes
bosixnet-daemon_1.6-2_all.deb Build Own IPv6 Network (client utilities)
bosixnet-webui_1.6-2_amd64.deb Build Own IPv6 Network (server utilities)
bossa-cli_1.3~20120408-5_amd64.deb Atmel SAM ARM microcontroller flash programming utility
Advertisement
Advertisement