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 <
[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).