DOKK / manpages / debian 10 / boolector / boolector.1.en
BOOLECTOR(1) General Commands Manual BOOLECTOR(1)

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.

print version and exit

boolector was written by Robert Daniel Brummayer <> and Armin Biere <>.

This manual page was written by Michael Tautschnig <>, for the Debian project (but may be used by others).

June 4, 2010