boolector1
Smt solver for bit-vectors and arrays
Usage
boolector [options]
input-file
Overview
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
Releases
Unchanged in 8 releases since Debian 6.0 (Squeeze).