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 theory 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)