boolector - SMT solver for bit-vectors and arrays
This manual page documents briefly the boolector
is an efficient SMT solver for the quantifier-free theory of
bit-vectors in combination with the quantifier-free extensional theory of
Show summary of options.
- print version and exit
boolector was written by Robert Daniel Brummayer <Robert.Brummayer@jku.at>
and Armin Biere <email@example.com>.
This manual page was written by Michael Tautschnig <firstname.lastname@example.org>, for
the Debian project (but may be used by others).