boolector - SMT solver for bit-vectors and arrays

       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)

       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 theory of arrays.

       boolector - SMT solver for bit-vectors and arrays

-h Show summary of options.

       --version
              print version and exit

boolector [options] input-file