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
PROGRAM:
NAME
boolector - SMT solver for bit-vectors and arrays
SYNOPSIS
boolector [options] input-file
DESCRIPTION
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
Use boolector online using onworks.net services