SYNOPSIS
boolector [options] input-fileDESCRIPTION
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 <[email protected]> and Armin Biere <[email protected]>.This manual page was written by Michael Tautschnig <[email protected]>, for the Debian project (but may be used by others).