|
|
File Search | Catalog | Content Search |
| Homepage: | http://fmv.jku.at/boolector/ |
| Package version: | 1.5.118.6b56be4.121013-1 |
| Architecture: | kfreebsd-i386 |
| Distribution: | Debian |
| Filename: | boolector_1.5.118.6b56be4.121013-1_kfreebsd-i386.deb |
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»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
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»
This package was debianized by Michael Tautschnig <mt@debian.org> on Fri, 04 Jun 2010 15:28:31 +0200 more»
| [DIR] | DEBIAN/ (2) 65535+ mirrors | ||
| [DIR] | usr/ (2) 65535+ mirrors |