This is the command boolector that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
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
Use boolector online using onworks.net services