Filewatcher File Search File Search
Catalog
Content Search
» » » » »

boolector

SMT solver for bit-vectors and arrays

Variants:
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays.
Homepage:
Package version:1.5.118.6b56be4.121013-1
Architecture:kfreebsd-i386
Distribution:Debian
Filename:boolector_1.5.118.6b56be4.121013-1_kfreebsd-i386.deb

/usr/share/man/man1/boolector.1.gz

BOOLECTOR(1)                                            BOOLECTOR(1)



NAME
       boolector - SMT solver for bit-vectors and arrays

SYNOPSIS
       boolector [options] input-file

DESCRIPTION
       This manual page documents briefly the boolector command.

       Boolector  is an efficient SMT solver for the quantifier-free
       theory of bit-vectors in combination with the quantifier-free
 
more»

/usr/share/doc/boolector/changelog.Debian.gz

boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low

  * New upstream release
  * Bumped Standards-Version to 3.9.3 (no changes)

 -- Michael Tautschnig <mt@debian.org>  Tue, 16 Oct 2012 13:01:32 +0100

boolector (1.4.ffc2089.100608-1) unstable; urgency=low

  * Initial release (Closes: #584542)

 -- Michael Tautschnig <mt@debian.org>  Wed, 09 Jun 2010 00:16:01 +0200


/usr/share/doc/boolector/changelog.gz

news for release 1.5.118 since 1.5.116
--------------------------------------
* '--solver=...' command line option and 'boolector_set_sat_solver'
* delayed Lingeling preprocessing using 'simpdelay'

news for release 1.5.116 since 1.5.115
--------------------------------------
* examples compilable again
* fixed assertions in 'booolector.c'
* support for new reentrant PicoSAT API (since PicoSAT ver
more»

/usr/share/doc/boolector/copyright

This package was debianized by Michael Tautschnig <mt@debian.org> on
Fri, 04 Jun 2010 15:28:31 +0200
more»

Browse inside boolector_1.5.118.6b56be4.121013-1_kfreebsd-i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download boolector_1.5.118.6b56be4.121013-1_kfreebsd-i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com