debian man page for boolector

BOOLECTOR(1)						      General Commands Manual						      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 extensional the-
       ory of arrays.

OPTIONS
       -h Show summary of options.

       --version
	      print version and exit

AUTHOR
       boolector was written by Robert Daniel Brummayer <Robert.Brummayer@jku.at> and Armin Biere <biere@jku.at>.

       This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but may be used by others).

								   June  4, 2010						      BOOLECTOR(1)