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.4.ffc2089.100608-1
Architecture:ia64
Distribution:Debian
Filename:boolector_1.4.ffc2089.100608-1_ia64.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.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.4 since 1.3
------------------------------
* hid API change in 'picosat_add' for older version of PicoSAT
* fixed EOF issue reading an empty file from stdin
* removed old license references

news for release 1.3 since 1.2
------------------------------
* first source code release
* fixed a rewriting bug by uncommenting simplification code

news for release 1.2 since 1.1
--------
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.4.ffc2089.100608-1_ia64.deb

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

Download boolector_1.4.ffc2089.100608-1_ia64.deb

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