The usage of SBSAT is:
$ sbsat [options] [inputfile [outputfile]]
There are two basic options required by GNU standard. One is
-version
This displays the current version. The other is
-help
This shows all the command line options. More information on these is given
later.
If sbsat is launched without parameters it expects the input data on standard input.
The first parameter without a dash is the input data file, the second parameter without a dash is the output file. If no output file is specified sbsat it will print all output to the terminal.