Provided by: boolector_184.108.40.206b56be4.121013-1build1_amd64
boolector - SMT solver for bit-vectors and arrays
boolector [options] input-file
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.
-h Show summary of options. --version print version and exit
boolector was written by Robert Daniel Brummayer <Robert.Brummayer@jku.at> and Armin Biere <firstname.lastname@example.org>. This manual page was written by Michael Tautschnig <email@example.com>, for the Debian project (but may be used by others). June 4, 2010 BOOLECTOR(1)